View source for Prime model

{{TEX|done}}
A model of an [[Elementary theory|elementary theory]] $T$ that can be embedded in every model of $T$. If $T$ is model complete (cf. [[Model theory|Model theory]]) and admits a prime model, then $T$ is complete. This fact is called the prime model test.

The prime model of the elementary theory of all fields with fixed characteristic is the [[Prime field|prime field]] of that characteristic.