Chains of saturated models in AECs (Q527325)

The authors investigate the question of when the union of saturated models is itself saturated within the context of tame abstract elementary classes (AEC) with amalgamation. They seek to generalize the following result due to \textit{V. Harnik} [Proc. Am. Math. Soc. 52, 361--367 (1975; Zbl 0316.02055)] and \textit{S. Shelah} [Classification theory and the number of non-isomorphic models. 2nd rev. ed. Amsterdam etc.: North-Holland (1990; Zbl 0713.03013)] (Fact 1.1): Let \(T\) be a first order theory. If \(T\) is superstable, then any increasing union of \(\lambda\)-saturated models is \(\lambda\)-saturated. If \(T\) is stable, then any increasing union of \(\lambda\)-saturated models of cofinality at least \(|T|^{+}\) is \(\lambda\)-saturated. From the authors' introduction: ``In this paper, we replace the local model-theoretic assumptions of \textit{S. Shelah} [Ann. Pure Appl. Logic 98, No. 1--3, 261--294 (1999; Zbl 0945.03049); Classification theory for abstract elementary classes. London: College Publications (2009; Zbl 1225.03036)] with \textit{global} ones, including \textit{tameness}. [\dots] We take advantage of recent developments in the study of forking in tame AECs [\dots] to generalize Fact 1.1 to tame abstract elementary classes with amalgamation.'' Their main result is: Assume \(K\) is a (\(<\kappa\))-tame AEC with amalgamation. If \(\kappa = \beth_{\kappa} >\mathrm{LS}(K)\) and \(K\) is categorical in some cardinality strictly above \(\kappa\), then for all \(\lambda > 2^{\kappa}\), \(K^{\lambda\mathrm{-sat}}\) (the class of \(\lambda\)-saturated models of \(K\)) is an AEC with \(\mathrm{LS}(K^{\lambda\mathrm{-sat}})=\lambda\). Combining this result with the construction of a \textit{good frame}, the authors prove that if the tame AEC \(K\) with amalgamation satisfies a certain ``natural'' definition of superstability, then for all high-enough \(\lambda\), there exists a unique limit model of size \(\lambda\). In their proofs, the authors use independence calculus in both the stable and superstable cases and a generalization of averages.