Complexity classes of simple theories
Model Theory in Geometry and Arithmetic May 12, 2014 - May 16, 2014
Location: SLMath: Eisenbud 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.