Theorem 16.7.

• (a)
  Suppose $|S_n(T)|<2^{{\aleph }_0}$ for all $n$. Then $T$ has a prime model and a countable saturated model.
• (b)
  If $T$ has a countable saturated model, then it has a prime model.