Solution
= Solution
A <prime model> of a complete theory $T$ is a model $M\models T$ for which there is an <elementary embedding> $M\to N$ into every model $N\models T$.
= Solution
A <prime model> of a complete theory $T$ is a model $M\models T$ for which there is an <elementary embedding> $M\to N$ into every model $N\models T$.