 Solution

Use the countable-language hypothesis of the omitting types theorem, which is the usual convention for this prime-model result. Let $\mathcal{M}$ be a prime model of $T$ and $a\in M$.

First, $T$ is complete up to logical consequence: every model $\mathcal{N}\models T$ receives an elementary embedding of $\mathcal{M}$, so it satisfies exactly the same sentences as $\mathcal{M}$. We may therefore replace $T$ by $\mathrm{Th}(\mathcal{M})$ without changing its model class or the prime model property.

Suppose $p={\mathrm{tp}}^{\mathcal{M}}(a/\varnothing )$ were not isolated. The omitting types theorem, applied to this single complete type, would produce $\mathcal{N}\models T$ omitting $p$. By primality choose an elementary embedding $j:\mathcal{M}\to \mathcal{N}$. For every $\phi (x)\in p$,Then $j(a)$ realizes $p$, contradicting omission. ConsequentlyThe same proof applies to every finite tuple, giving an atomic model. Countability of the language is a hypothesis of this argument, not a restriction on parameter sets in the separate parts (a) and (d). The PDF does not state that standing hypothesis explicitly; it must be included when invoking this version of the theorem.