Toward a stability theory of tame abstract elementary classes

Abstract

We initiate a systematic investigation of the abstract elementary classes that have amalgamation, satisfy tameness (a locality property for orbital types), and are stable (in terms of the number of orbital types) in some cardinal. Assuming the singular cardinal hypothesis (SCH), we prove a full characterization of the (high-enough) stability cardinals, and connect the stability spectrum with the behavior of saturated models. We deduce (in ZFC) that if a class is stable on a tail of cardinals, then it has no long splitting chains (the converse is known). This indicates that there is a clear notion of superstability in this framework. We also present an application to homogeneous model theory: for $D$ a homogeneous diagram in a first-order theory $T$, if $D$ is both stable in $|T|$ and categorical in $|T|$ then $D$ is stable in all $\lambda \ge |T|$.

34 pages

References in corpus (9)

• Building independence relations in abstract elementary classes
• Shelah's eventual categoricity conjecture in universal classes: part I
• Infinitary stability theory
• Symmetry and the Union of Saturated Models in Superstable Abstract Elementary Classes
• Shelah's eventual categoricity conjecture in universal classes. Part II
• Saturation and solvability in abstract elementary classes with amalgamation
• Superstability from categoricity in abstract elementary classes
• Chains of saturated models in AECs
• Symmetry in abstract elementary classes with amalgamation

Cited by in corpus (3)

• Internal sizes in $\mu$-abstract elementary classes
• Building models in small cardinals in local abstract elementary classes
• On categoricity in successive cardinals