Complexity classes of simple theories
Model Theory in Geometry and Arithmetic May 12, 2014 - May 16, 2014
Location: MSRI: Simons Auditorium
Primary Mathematics Subject Classification No Primary AMS MSC Secondary Mathematics Subject Classification No Secondary AMS MSC
Recent work of Malliaris and Shelah has given a characterization of simple theories in terms of saturation of ultrapowers. The proof involves developing a framework for classifying the complexity of amalgamation patterns in simple theories. The talk will be about the model-theoretic picture of complexity emerging from this analysis.