EN
We continue the study of finitary abstract elementary classes beyond ℵ₀-stability. We suggest a possible notion of superstability for simple finitary AECs, and derive from this notion several good properties for independence. We also study constructible models and the behaviour of Galois types and weak Lascar strong types in this context.
We show that superstability is implied by a-categoricity in a suitable cardinal. As an application we prove the following theorem: Assume that $(𝕂, ≼_𝕂)$ is a simple, tame, finitary AEC, a-categorical in some cardinal κ above the Hanf number such that cf(κ) > ω. Then $(𝕂, ≼_𝕂)$ is a-categorical in each cardinal above the Hanf number.