English

Union of Saturated Models in Superstable Abstract Elementary Classes

Logic 2015-12-31 v3

Abstract

In this paper we prove: Theorem 1. Let K\mathcal{K} be an abstract elementary class which satisfies the joint embedding and amalgamation properties. Suppose λ>μLS(K)\lambda>\mu\geq LS(\mathcal{K}) and θ\theta is a limit ordinal <λ+<\lambda^+. If K\mathcal{K} is μ\mu superstable and μ+\mu^+-superstable and satisfies μ+\mu^+-symmetry, then for any increasing sequence Mii<θ\langle M_i\mid i<\theta\rangle of μ+\mu^+-saturated models of cardinality λ\lambda, the model i<θMi\bigcup_{i<\theta}M_i is μ+\mu^+-saturated.

Keywords

Cite

@article{arxiv.1507.01989,
  title  = {Union of Saturated Models in Superstable Abstract Elementary Classes},
  author = {Monica M. VanDieren},
  journal= {arXiv preprint arXiv:1507.01989},
  year   = {2015}
}

Comments

This paper has been combined with another paper. The content appears in arXiv:1512.01786

R2 v1 2026-06-22T10:07:40.414Z