In this paper, we examine the locality condition for non-splitting and
determine the level of uniqueness of limit models that can be recovered in some
stable, but not superstable, abstract elementary classes. In particular we
prove (note that no tameness is assumed):
Suppose that K is an abstract elementary class satisfying
- the joint embedding and amalgamation properties with no maximal model of
cardinality μ.
- stability in μ.
- κμ∗(K)<μ+.
- continuity for non-μ-splitting (i.e. if p∈ga-S(M) and M
is a limit model witnessed by ⟨Mi∣i<α⟩ for some limit
ordinal α<μ+ and there exists N≺M0 so that $p\restriction
M_idoesnot\mu−splitoverNforalli<\alpha,thenpdoesnot\mu−splitoverN$).
For θ and δ limit ordinals <μ+ both with cofinality
≥κμ∗(K), if K satisfies symmetry for
non-μ-splitting (or just (μ,δ)-symmetry), then, for any M1 and
M2 that are (μ,θ) and (μ,δ)-limit models over M0,
respectively, we have that M1 and M2 are isomorphic over M0.