English

Building models in small cardinals in local abstract elementary classes

Logic 2024-05-01 v3

Abstract

There are many results in the literature where superstablity-like independence notions, without any categoricity assumptions, have been used to show the existence of larger models. In this paper we show that \emph{stability} is enough to construct larger models for small cardinals assuming a mild locality condition for Galois types. Theorem.\mathbf{Theorem.} Suppose λ<20\lambda<2^{\aleph_0}. Let K\mathbf{K} be an abstract elementary class with λLS(K)\lambda \geq LS(\mathbf{K}). Assume K\mathbf{K} has amalgamation in λ\lambda, no maximal model in λ\lambda, and is stable in λ\lambda. If K\mathbf{K} is (<λ+,λ)(<\lambda^+, \lambda)-local, then K\mathbf{K} has a model of cardinality λ++\lambda^{++}. The set theoretic assumption that λ<20\lambda<2^{\aleph_0} and model theoretic assumption of stability in λ\lambda can be weakened to the model theoretic assumptions that Sna(M)<20|\mathbf{S}^{na}(M)|< 2^{\aleph_0} for every MKλM \in \mathbf{K}_\lambda and stability for λ\lambda-algebraic types in λ\lambda. This is a significant improvement of Theorem 0.1., as the result holds on some unstable abstract elementary classes.

Keywords

Cite

@article{arxiv.2310.14474,
  title  = {Building models in small cardinals in local abstract elementary classes},
  author = {Marcos Mazari-Armida and Wentao Yang},
  journal= {arXiv preprint arXiv:2310.14474},
  year   = {2024}
}
R2 v1 2026-06-28T12:58:18.759Z