A minimal model of a complete first-order theory that elementarily embeds into every other model of the theory; equivalently, a model generated by realizations of principal (isolated) types over the empty set.

Principle

Primeness is the property of being minimal under elementary embeddings: a prime model contains just enough elements to realize the theory's isolated types and maps elementarily into any other model of the same theory.

Demonstration

For the theory of dense linear orders without endpoints, the countable dense order without endpoints is prime because it elementarily embeds into any countable model of the same theory by mapping rationals to corresponding cuts; in many complete countable theories a unique (up to isomorphism) countable prime model exists.

Misapplication

Assuming a prime model exists for every theory or identifying a generically small model as prime without verifying elementarity can lead to incorrect model-theoretic conclusions.

Consequence

When prime models exist they provide canonical minimal representatives of a theory, serve as baselines for elementary chains, and simplify classification by reducing problems to embeddings from the prime model.

Reversal

A saturated model is, in a sense, the dual: rather than minimal and embeddable into others, it is large enough to realize many types and admits embeddings from smaller models.

Boundary

Defined for complete first-order theories; not every theory has a prime model (existence depends on countability, isolation of types, or omitting types conditions) and the notion excludes non-elementary embeddings or mere substructure minimality.

Semantic Tension

Tension between minimality and representativeness: a prime model is minimal yet must still reflect the theory's isolated types; sometimes a model that seems small fails to be prime because it omits a required isolated type.

Synthesis

A Prime Model is the minimally sufficient, elementarily embeddable model of a complete first-order theory: it realizes the theory's isolated types and serves as a canonical minimal structure from which other models receive elementary embeddings.