# Sh:489

• Laskowski, M. C., & Shelah, S. (1993). On the existence of atomic models. J. Symbolic Logic, 58(4), 1189–1194.
• 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)
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},
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}
}