Date of Original Version

6-28-2015

Type

Working Paper

Abstract or Description

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

Theorem 0.1. 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.

Included in

Mathematics Commons

Share

COinS