📝 SummarXiv

Abstract

Originally introduced by Kolmann and Shelah as a surrogate for saturated models, limit models have been established as natural and useful objects when studying abstract elementary classes. Shelah began the study of when (multiple notions of) limit models exist for first order theories. In this paper we look at their structure. In superstable theories it is known that all limit models are isomorphic, but in the strictly stable case the number of non-isomorphic models was not well understood. Here we characterise the full spectrum of limit models in the first order stable setting, by a short and simple argument using only the familiar machinery of stable first order theories: $\textbf{Theorem.}$ Let $T$ be a complete $\lambda$-stable theory where $\lambda \geq |\operatorname{L}(T)| + \aleph_0$. Let $\delta_1, \delta_2 < \lambda^+$ be limit ordinals where $\operatorname{cf}(\delta_1)< \operatorname{cf}(\delta_2)$. Let $N_l$ be a $(\lambda, \delta_l)$-limit model for $l = 1, 2$. Then $N_1$ and $N_2$ are isomorphic if and only if $\operatorname{cf}(\delta_1) \geq \kappa_r(T)$. Moreover, if $\kappa_r(T) = \aleph_\alpha$, there are exactly $|\alpha| + 1$ limit models up to isomorphism. In the context of first order stable theories, this reduces the proof of the main result of arXiv:2503.11605 from 19 pages to 2. We hope this will make limit models a more comprehensible and accessible tool in first order model theory.