American logician who provided a simplified and generalized proof of Gödel's completeness theorem using the Henkin construction — adding witness constants to extend consistent theories to complete consistent theories.
The Henkin construction: any consistent first-order theory can be extended to a complete consistent theory by adding new constants witnessing existential statements — providing a more perspicuous proof of completeness and the compactness theorem.
Discussing
Ask anything about Leon A. Henkin — their ideas, influences, contradictions, legacy.
Sign in to start a conversation.