##  [Model Completion](/model-completion-0) 

 Definition

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

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

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

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

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

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

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

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

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.