MODNET
Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 841

Preprint Number 841

Previous Next Preprint server


841. John T. Baldwin, Michael C. Laskowski, Saharon Shelah
Constructing many atomic models in ℵ_1
E-mail:

Submission date: 1 March 2015.

Abstract:

We introduce the notion of pseudo-algebraicity to study atomic models of first order theories (equivalently models of a complete sentence of L_{ω_1,ω}).
Theorem: Let T be any complete first-order theory in a countable language with an atomic model. If the pseudo-minimal types are not dense, then there are 2^{ℵ_1} pairwise non-isomorphic atomic models of T, each of size ℵ_1.

Mathematics Subject Classification: 03C350, 03C375

Keywords and phrases:

Full text arXiv 1503.00318: pdf, ps.


Last updated: March 7 2015 10:19 Please send your corrections to: