Infinitary stability theory

Abstract

We introduce a new device in the study of abstract elementary classes (AECs): Galois Morleyization, which consists in expanding the models of the class with a relation for every Galois type of length less than a fixed cardinal $\kappa$. We show: $\mathbf{Theorem}$ (The semantic-syntactic correspondence) An AEC $K$ is fully $(<\kappa )$-tame and type short if and only if Galois types are syntactic in the Galois Morleyization. This exhibits a correspondence between AECs and the syntactic framework of stability theory inside a model. We use the correspondence to make progress on the stability theory of tame and type short AECs. The main theorems are: $\mathbf{Theorem}$ Let $K$ be a $\text{LS}(K)$-tame AEC with amalgamation. The following are equivalent: * $K$ is Galois stable in some $\lambda \ge \text{LS}(K)$. * $K$ does not have the order property (defined in terms of Galois types). * There exist cardinals $\mu$ and ${\lambda }_0$ with $\mu \le {\lambda }_0<{\beth }_{(2^{\text{LS}(K)}{)}^{+}}$ such that $K$ is Galois stable in any $\lambda \ge {\lambda }_0$ with $\lambda ={\lambda }^{<\mu }$. $\mathbf{Theorem}$ Let $K$ be a fully $(<\kappa )$-tame and type short AEC with amalgamation, $\kappa ={\beth }_{\kappa }>\text{LS}(K)$. If $K$ is Galois stable, then the class of $\kappa$-Galois saturated models of $K$ admits an independence notion ($(<\kappa )$-coheir) which, except perhaps for extension, has the properties of forking in a first-order stable theory.

34 pages (v1 was split into this paper and arXiv:1503.01366)

Cited by in corpus (16)

• Building independence relations in abstract elementary classes
• Shelah's eventual categoricity conjecture in universal classes: part I
• Forking independence from the categorical point of view
• Shelah's eventual categoricity conjecture in universal classes. Part II
• Downward categoricity from a successor inside a good frame
• Chains of saturated models in AECs
• Saturation and solvability in abstract elementary classes with amalgamation
• Toward a stability theory of tame abstract elementary classes
• Building prime models in fully good abstract elementary classes
• Abstract elementary classes stable in ${\aleph }_0$
• Quasiminimal abstract elementary classes
• Good Frames in the Hart-Shelah Example
• On categoricity in successive cardinals
• Tameness from two successive good frames
• Cofinality quantifiers in Abstract Elementary Classes and beyond
• An NIP-like Notion in Abstract Elementary Classes