English

On categoricity in successive cardinals

Logic 2020-07-22 v4

Abstract

We investigate, in ZFC, the behavior of abstract elementary classes (AECs) categorical in many successive small cardinals. We prove for example that a universal Lω1,ω\mathbb{L}_{\omega_1, \omega} sentence categorical on an end segment of cardinals below ω\beth_\omega must be categorical also everywhere above ω\beth_\omega. This is done without any additional model-theoretic hypotheses (such as amalgamation or arbitrarily large models) and generalizes to the much broader framework of tame AECs with weak amalgamation and coherent sequences.

Keywords

Cite

@article{arxiv.1810.10061,
  title  = {On categoricity in successive cardinals},
  author = {Sebastien Vasey},
  journal= {arXiv preprint arXiv:1810.10061},
  year   = {2020}
}

Comments

19 pages