We initiate a systematic investigation of the abstract elementary classes that have amalgamation, satisfy tameness, and are stable in some cardinal. Assuming the singular cardinal hypothesis, we prove a full characterization of the stability cardinals, and connect the stability spectrum with the behavior of saturated models.We deduce that if a class is stable on a tail of cardinals, then it has no long splitting chains. This indicates that there is a clear notion of superstability in this framework.We also present an (...) application to homogeneous model theory: for [Formula: see text] a homogeneous diagram in a first-order theory [Formula: see text], if [Formula: see text] is both stable in [Formula: see text] and categorical in [Formula: see text] then [Formula: see text] is stable in all [Formula: see text]. (shrink)

We investigate, in ZFC, the behavior of abstract elementary classes categorical in many successive small cardinals. We prove for example that a universal $\mathbb {L}_{\omega _1, \omega }$ sentence categorical on an end segment of cardinals below $\beth _\omega $ must be categorical also everywhere above $\beth _\omega $. This is done without any additional model-theoretic hypotheses and generalizes to the much broader framework of tame AECs with weak amalgamation and coherent sequences.

We investigate, in ZFC, the behavior of abstract elementary classes categorical in many successive small cardinals. We prove for example that a universal $\mathbb {L}_{\omega _1, \omega }$ sentence categorical on an end segment of cardinals below $\beth _\omega $ must be categorical also everywhere above $\beth _\omega $. This is done without any additional model-theoretic hypotheses and generalizes to the much broader framework of tame AECs with weak amalgamation and coherent sequences.

We show how to build prime models in classes of saturated models of abstract elementary classes (AECs) having a well‐behaved independence relation: Let be an almost fully good AEC that is categorical in and has the ‐existence property for domination triples. For any, the class of Galois saturated models of of size λ has prime models over every set of the form. This generalizes an argument of Shelah, who proved the result when λ is a successor cardinal.

We introduce the notion of a w-good \-frame which is a weakening of Shelah’s notion of a good \-frame. Existence of a w-good \-frame implies existence of a model of size \. Tameness and amalgamation imply extension of a w-good \-frame to larger models. As an application we show:Theorem 0.1. Suppose\. If \ = \mathbb {I} = 1 \le \mathbb {I} < 2^{\lambda ^{++}}\)and\is\\)-tame, then\.The proof presented clarifies some of the details of the main theorem of Shelah and avoids using (...) the heavy set-theoretic machinery of Shelah by replacing it with tameness. (shrink)

We study the problem of extending an abstract independence notion for types of singletons to longer types. Working in the framework of tame abstract elementary classes, we show that good frames can always be extended to types of independent sequences. As an application, we show that tameness and a good frame imply Shelah’s notion of dimension is well-behaved, complementing previous work of Jarden and Sitton. We also improve a result of the first author on extending a frame to larger models.

For a fixed natural number \, the Hart–Shelah example is an abstract elementary class with amalgamation that is categorical exactly in the infinite cardinals less than or equal to \. We investigate recently-isolated properties of AECs in the setting of this example. We isolate the exact amount of type-shortness holding in the example and show that it has a type-full good \-frame which fails the existence property for uniqueness triples. This gives the first example of such a frame. Along the (...) way, we develop new tools to build and analyze good frames. (shrink)

We study when a union of saturated models is saturated in the framework of tame abstract elementary classes with amalgamation. We prove:Theorem 0.1.IfKis a tame AEC with amalgamation satisfying a natural definition of superstability, then for all high-enoughλ:\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\lambda {:}$$\end{document}The union of an increasing chain ofλ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\lambda $$\end{document}-saturated models isλ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\lambda $$\end{document}-saturated.There exists a type-full goodλ\documentclass[12pt]{minimal} \usepackage{amsmath} (...) \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\lambda $$\end{document}-frame with underlying class the saturated models of sizeλ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\lambda $$\end{document}.There exists a unique limit model of sizeλ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\lambda $$\end{document}. Our proofs use independence calculus and a generalization of averages to this non first-order context. (shrink)