End Extensions and Numbers of Countable Models
Shelah, Saharon
J. Symbolic Logic, Tome 43 (1978) no. 1, p. 550-562 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
We prove that every model of $T = \mathrm{Th}(\omega, <, \ldots) (T$ countable) has an end extension; and that every countable theory with an infinite order and Skolem functions has $2^{\mathbf{\aleph}_0}$ nonisomorphic countable models; and that if every model of $T$ has an end extension, then every $|T|$-universal model of $T$ has an end extension definable with parameters.
Publié le : 1978-09-14
Classification:  
@article{1183740260,
     author = {Shelah, Saharon},
     title = {End Extensions and Numbers of Countable Models},
     journal = {J. Symbolic Logic},
     volume = {43},
     number = {1},
     year = {1978},
     pages = { 550-562},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183740260}
}

Shelah, Saharon. End Extensions and Numbers of Countable Models. J. Symbolic Logic, Tome 43 (1978) no. 1, pp.  550-562. http://gdmltest.u-ga.fr/item/1183740260/