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.
• Version 1998-07-05_10 (9p) published version (7p)

@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},
 mrnumber = {1253916},
 mrclass = {03C30 (03C35 03C50)},
 doi = {10.2307/2275137},
 note = {\href{https://arxiv.org/abs/math/9301210}{arXiv: math/9301210}},
 arxiv_number = {math/9301210}
}