A refinement of a first-order theory T producing a theory T* (when it exists) whose models are exactly the existentially closed models of T; T* is model-complete if every embedding between models of T* is elementary, equivalently every formula is equivalent to an existential formula in T*.

Principle

Identify a class of existentially closed models inside models of T and axiomatize their theory T* so that for any models M ⊆ N of T* the inclusion is elementary; model completion, when it exists, yields elimination of quantifiers up to existential formulas and strong transfer properties for embeddings.

Demonstration

The theory of algebraically closed fields is the model completion of the theory of fields: every field embeds into an algebraically closed field that is existentially closed for polynomial equations, and algebraically closed fields make embeddings elementary, yielding model completeness.

Misapplication

Assuming a model completion exists for an arbitrary theory without constructing or proving uniqueness can mislead — many theories have no model completion, and forcing a candidate without checking existential closure or elementary embedding properties produces false model-theoretic claims.

Consequence

When a model completion exists, one gains uniform model-theoretic control: quantifier reduction, strong homogeneity of models, decidability and transfer of properties via embeddings, and a canonical description of existentially generic structures within the original theory.

Reversal

The opposite perspective is taking a model companion or a conservative expansion: rather than completing T to its existentially closed models, one may restrict attention to particular non-existentially-closed subclasses or study conservative extensions that preserve more syntax but lack model-completeness.

Boundary

Applies to first-order theories and concerns their model-theoretic envelope of existentially closed models; it excludes non-first-order logics unless rephrased, and not every theory admits a model completion or model companion.

Semantic Tension

Model completion can be conflated with quantifier elimination, model companionship, or algebraic closure; the tension is that model completeness is a semantic property about embeddings and existential closure while quantifier elimination is a syntactic stronger condition that may or may not hold.

Synthesis

Model completion characterizes the maximal theory of T whose models are existentially closed: if T* exists, it makes embeddings elementary and simplifies the theory's structure by focusing on generic existential solutions, yielding quantifier simplifications and canonical models.