Definition
A complete type over a parameter set A is a maximal consistent set of first-order formulas with parameters from A: for every formula φ(x,a) with parameters a from A, the type contains either φ(x,a) or its negation, and the whole set remains consistent with the theory T.
Principle
Principle
Maximality relative to consistency: a complete type leaves no A-formula undecided, thereby providing a full first-order description (relative to A) of the hypothetical element or tuple.
Demonstration
Demonstration
In a saturated algebraically closed field, a complete 1-type over a small subset A might assert either that an element is algebraic over A (by including polynomial equalities) or that it is transcendental (by including all non-vanishing polynomial statements), thereby deciding every formula with parameters from A.
Misapplication
Misapplication
Confusing completeness with being isolated or principal: a complete type need not be generated by a single formula and may fail to be realized in a given model unless the model is sufficiently saturated.
Consequence
Consequence
Knowing a complete type over A determines the elementary diagram of the element relative to A and controls how the element can be extended or moved by automorphisms fixing A.
Reversal
Reversal
The opposite is a partial type that leaves some formulas undecided, which encodes strictly less information and may correspond to many non-equivalent completions.
Boundary
Boundary
Completeness is relative to a chosen parameter set A and language; a type complete over A may be incomplete over a larger parameter set B ⊇ A, and completeness is strictly a first-order notion.
Semantic Tension
Semantic Tension
‘Complete’ competes with other uses (metric completeness, algebraic closure); in model theory it denotes syntactic maximality subject to consistency, which is different from topological or algebraic completeness.
Synthesis
Synthesis
A complete type is a maximal consistent profile of first-order formulas over parameters A that decides every formula with those parameters, giving a definitive first-order portrait of a hypothetical element relative to A.