Show simple item record

dc.contributor.authorBaldwin, JT
dc.contributor.authorLaskowski, MC
dc.contributor.authorShelah, S
dc.date.accessioned2016-12-19T16:35:40Z
dc.date.available2016-12-19T16:35:40Z
dc.date.issued2016-09
dc.identifier.bibliographicCitationBaldwin, J. T., Laskowski, M. C. and Shelah, S. Constructing many atomic models in ℵ1. Journal of Symbolic Logic. 2016. 81(3): 1142-1162. doi: 10.1017/jsl.2015.81.en_US
dc.identifier.issn0022-4812
dc.identifier.urihttp://hdl.handle.net/10027/21429
dc.descriptionThis is a non-final version of an article published in final form in: Baldwin, J. T., Laskowski, M. C. and Shelah, S. CONSTRUCTING MANY ATOMIC MODELS IN N-1. Journal of Symbolic Logic. 2016. 81(3): 1142-1162. DOI: 10.1017/jsl.2015.81.en_US
dc.description.abstractWe 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.en_US
dc.description.sponsorshipResearch partially supported by Simons travel grant G5402 Partially supported by NSF grant DMS-1308546.This research was partially supported by NSF grant DMS 1101597. The third author was partially supported by the European Research Council grant 338821.en_US
dc.publisherAssociation for Symbolic Logicen_US
dc.titleConstructing many atomic models in ℵ1en_US
dc.typeArticleen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record