Infinitary stability theory (Q283130): Difference between revisions

In this paper, stability-theoretic investigations inside abstract elementary classes (AECs) are undertaken via a syntactic method known as Galois Morleyization. More specifically, suppose that \(K\) is a \((<\kappa)\)-tame AEC, meaning that Galois types are determined by their restrictions to domains of size less than \(\kappa\). The Galois Morleyization of \(K\) is then obtained by adding relation symbols to the language for each Galois type over the empty set of a sequence of length less than \(\kappa\) and looking at \(L_{\kappa,\kappa}\)-formulae in this new language. The main result is that Galois types in the AEC correspond to quantifier-free syntactic types in the Galois Morleyization. The main theorem is shown to have applications to the study of stability theory for AECs. In particular, Galois stability of a tame AEC is shown to be equivalent to the absence of a suitable order property (as in classical stability theory) and to be equivalent to a suitable notion of \(\lambda\)-stability for certain cardinals \(\lambda\). In addition, if the AEC is Galois stable and satisfies further assumptions, then one can equip the saturated elements of the AEC with a notion of independence that satisfies almost all of the usual properties of nonforking independence in monster models of classical stable theories.