Logic Seminar

Matthew Harrison-Trainor, University of Illinois Chicago

Scott analysis of linear orders

The Scott analysis measures the complexity of describing a structure up to isomorphism, and equivalently the complexity of describing its automorphism orbits, and of computing isomorphisms between different copies. I will introduce the Scott analysis in general and talk about the Scott analysis of linear orders in particular. Linear orders have a few special properties which makes their behaviour quite interesting and sometimes different from structures in general.

MC 5479