Theorem 16.6. Assuming that:

$L$ countable

Then the following are equivalent:

(i)
$T$ has a prime model.
(ii)
$T$ has an atomic model.
(iii)
For all $n \geq 1$ , the isolated types are dense.