Submission date: 15 July 2015.

Abstract:

We prove that several definitions of superstability in abstract elementary classes (AECs) are equivalent under the assumption that the class is tame, has amalgamation, joint embedding, and arbitrarily large models. This partially answers questions of Shelah.

Theorem
Let K be a tame AEC with amalgamation, joint embedding, and arbitrarily large models. Assume K is stable. Then the following are equivalent:
1) For all high-enough λ, there exists κ < λ such that there is a good λ-frame on the class of κ-saturated models in K_λ.
2) For all high-enough λ, K has a unique limit model of cardinality λ.
3) For all high-enough λ, K has a superlimit model of cardinality λ.
4) For all high-enough λ, the union of a chain of λ-saturated models is λ-saturated.
5) There exists θ such that for all high-enough λ, K is (λ, θ)-solvable.

Mathematics Subject Classification: 03C48 (Primary), 03C45, 03C52, 03C55 (Secondary)

Keywords and phrases:

Full text arXiv 1507.04223: pdf, ps.