Complexity classes of simple theories
Location: MSRI: Simons Auditorium
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.