# Sh:489

- Laskowski, M. C., & Shelah, S. (1993).
*On the existence of atomic models*. J. Symbolic Logic,**58**(4), 1189–1194. arXiv: math/9301210 DOI: 10.2307/2275137 MR: 1253916 -
Abstract:

We give an example of a countable theory T such that for every cardinal \lambda\ge\aleph_2 there is a fully indiscernible set A of power \lambda such that the principal types are dense over A, yet there is no atomic model of T over A. In particular, T(A) is a theory of size \lambda where the principal types are dense, yet T(A) has no atomic model. - published version (7p)

Bib entry

@article{Sh:489, author = {Laskowski, Michael Chris and Shelah, Saharon}, title = {{On the existence of atomic models}}, journal = {J. Symbolic Logic}, fjournal = {The Journal of Symbolic Logic}, volume = {58}, number = {4}, year = {1993}, pages = {1189--1194}, issn = {0022-4812}, doi = {10.2307/2275137}, mrclass = {03C30 (03C35 03C50)}, mrnumber = {1253916}, mrreviewer = {Paul Bankston}, doi = {10.2307/2275137}, note = {\href{https://arxiv.org/abs/math/9301210}{arXiv: math/9301210}}, arxiv_number = {math/9301210} }