arXiv:math/0504196 Abstract

arXiv:math/0504196 [math.LO]Abstract References Reviews Resources

Model theory without choice: Categoricity

Published 2005-04-10, updated 2008-07-08Version 3

We prove Los conjecture = Morley theorem in ZF, with the same characterization (of first order countable theories categorical in aleph_alpha for some (equivalently for every) ordinal alpha>0. Another central result here is, in this context: the number of models of a countable first order T of cardinality aleph_alpha is either >=|alpha| for every aleph_\alpha or it has a small upper bound (close to beth_2).

Categories: math.LO

Keywords: model theory, categoricity, small upper bound, morley theorem, los conjecture

Related articles: Most relevant | Search more

arXiv:1208.0196 [math.LO] (Published 2012-08-01)

Some model theory of SL(2,R)

Jakub Gismatullin, Davide Penazzi, Anand Pillay

arXiv:1601.02957 [math.LO] (Published 2016-01-12)

Model theory and geometry of representations of rings of integers

Boris Zilber, Lubna Shaheen

arXiv:1503.06045 [math.LO] (Published 2015-03-20)

Notes on a model theory of quantum 2-torus for generic q

Masanori Itai, Boris Zilber