Constructing Quasiminimal Structures

Levon Haykazyan
DOI: https://doi.org/10.48550/arXiv.1507.07731
2015-10-20
Abstract:Quasiminimal structures play an important role in non-elementary categoricity. In this paper we explore possibilities of constructing quasiminimal models of a given first-order theory. We present several constructions with increasing control of the properties of the outcome using increasingly stronger assumptions on the theory. We also establish an upper bound on the Hanf number of the existence of arbitrarily large quasiminimal models.
Logic
What problem does this paper attempt to address?