A model companion T* of a theory T is a theory such that (i) T and T* have the same universal consequences, (ii) every model of T embeds into a model of T*, and (iii) T* is model-complete (every embedding between models of T* is elementary). When it exists, T* captures the model-complete closure of the universal part of T.

Principle

Adjoin to a universal theory the existential consequences needed to force model-completeness while preserving the universal theory; the companion is a canonical model-complete theory sharing the same universal fragment as the original theory when embeddings exist as required.

Demonstration

The theory of algebraically closed fields (ACF) is the model companion of the theory of fields: every field embeds into an algebraically closed field, ACF is model-complete, and ACF and the theory of fields share the same universal sentences (those asserting field axioms without existential closure).

Misapplication

Assuming every theory has a model companion or conflating model companion with model completion (the latter requires additional extension properties); using a putative companion without checking embedding or universality conditions can be incorrect.

Consequence

When a model companion exists it streamlines model-theoretic analysis: it often yields model-completeness, better control of definable sets, and simplifications for classification and quantifier-elimination arguments relying on existential closure properties.

Reversal

If no model companion exists, one cannot uniformly pass from arbitrary models of T to a single model-complete envelope; alternatively, demanding model-completion (stronger than companion) may fail because some existential consequences cannot be forced without changing universal theory.

Boundary

Existence of a model companion depends on syntactic and model-theoretic conditions (amalgamation-like requirements, embedding of models, preservation of universals); a companion, if it exists, need not be unique in some weak senses and does not guarantee completeness or quantifier elimination without further hypotheses.

Semantic Tension

Tension between model companion, model completion, and conservative extensions: model companion preserves universal consequences and achieves model-completeness, while model completion is a stronger, often unique object when it exists; these notions interact with existential closure and embedding properties.

Synthesis

A model companion is a model-complete theory that shares the universal fragment of an original theory and into whose models every model of the original embeds; when present it provides a canonical model-complete envelope that facilitates existential and structural analysis.