Independence in abstract elementary classes

Abstract. We prove that several definitions of superstability in abstract elementary classes (AECs) are equivalent under the as-sumption 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 cardi-nality λ. (3) For all high-enough λ, K has a superlimit model of cardinality λ. (4) For all high-enough λ, the union of a chain of λ-saturate