Logic Seminar
Jeremy Beard
CMU
The spectrum of limit models in stable AECs
Abstract: Abstract elementary classes (AECs) provide an extension of first order model theory in which we can still attempt a classification theory. The question of when limit models (a kind of surrogate for saturated models for AECs) are isomorphic has connections to important open problems in AECs, such as Shelah's categoricity conjecture. Most work in this area is towards 'positive' results - that is, showing limit models are isomorphic. The question of when limit models are not isomorphic is less explored.
In this talk we give a full characterisation of the spectrum of limit models under reasonable assumptions in a stable AEC - that is, describe completely which limit models are isomorphic and which are not. In particular this applies to the first order stable setting. Given time we will discuss applications, a more general result in the 'positive' direction, and touch on a recent result which says that all high cofinality limit models are disjoint amalgamation bases. Based largely on joint work with Marcos Mazari-Armida.
Tuesday April 28, 2026 at 3:00 PM in 636 SEO