Henkin Construction

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A method for building a model of a first-order theory by extending a consistent set of formulas to a maximally consistent (Henkin) theory that contains explicit witness constants for existential formulas, and then forming the canonical term model (or quotient by provable equality). It underlies proofs of completeness and the existence of models.