Building models in small cardinals in local abstract elementary classes
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. Suppose . Let be an abstract elementary class with . Assume has amalgamation in , no maximal model in , and is stable in . If is -local, then has a model of cardinality . The set theoretic assumption that and model theoretic assumption of stability in can be weakened to the model theoretic assumptions that for every and stability for -algebraic types in . 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}
}