## Journal of Symbolic Logic

### On the Existence of Atomic Models

#### Abstract

We give an example of a countable theory $T$ such that for every cardinal $\lambda \geq \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.

#### Article information

Source
J. Symbolic Logic, Volume 58, Issue 4 (1993), 1189-1194.

Dates
First available in Project Euclid: 6 July 2007

https://projecteuclid.org/euclid.jsl/1183744369

Mathematical Reviews number (MathSciNet)
MR1253916

Zentralblatt MATH identifier
0806.03021

JSTOR