Solution
= Solution
An <atomic model> of $T$ is a model $M\models T$ such that the complete type $\operatorname{tp}(\bar a/\varnothing)$ of every finite tuple $\bar a\in M$ is an <isolated type>.
= Solution
An <atomic model> of $T$ is a model $M\models T$ such that the complete type $\operatorname{tp}(\bar a/\varnothing)$ of every finite tuple $\bar a\in M$ is an <isolated type>.