English

Chains of saturated models in AECs

Logic 2017-04-13 v4

Abstract

We study when a union of saturated models is saturated in the framework of tame abstract elementary classes (AECs) with amalgamation. We prove: Theorem\mathbf{Theorem} If KK is a tame AEC with amalgamation satisfying a natural definition of superstability (which follows from categoricity in a high-enough cardinal), then for all high-enough λ\lambda: * The union of an increasing chain of λ\lambda-saturated models is λ\lambda-saturated. * There exists a type-full good λ\lambda-frame with underlying class the saturated models of size λ\lambda. * There exists a unique limit model of size λ\lambda. Our proofs use independence calculus and a generalization of averages to this non first-order context.

Keywords

Cite

@article{arxiv.1503.08781,
  title  = {Chains of saturated models in AECs},
  author = {Will Boney and Sebastien Vasey},
  journal= {arXiv preprint arXiv:1503.08781},
  year   = {2017}
}

Comments

27 pages

R2 v1 2026-06-22T09:06:00.133Z