The Discovery of My Completeness Proofs

DOI10.2307/421107zbMath0882.03001OpenAlexW2022607815MaRDI QIDQ4897039

Leon Henkin

Publication date: 12 March 1998

Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: http://www.math.ucla.edu/~asl/bsl/0202-toc.htm

zbMATH Keywords

Henkin's completeness proof

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03)

Related Items (21)

Leon Henkin and a Life of Service ⋮ Leon Henkin the Reviewer ⋮ Henkin’s Theorem in Textbooks ⋮ Henkin on Completeness ⋮ The Countable Henkin Principle ⋮ April the 19th ⋮ Henkin and Hybrid Logic ⋮ Identity, Equality, Nameability and Completeness ⋮ Andrzej Mostowski and the Notion of a Model ⋮ Completeness in hybrid type theory ⋮ From Pictures to Semantical Games: Hintikka’s Journey Through Semantic Representationalism ⋮ The seven virtues of simple type theory ⋮ Visions of Henkin ⋮ ON THE GENERAL INTERPRETATION OF FIRST-ORDER QUANTIFIERS ⋮ Domains of Sciences, Universes of Discourse and Omega Arguments ⋮ Reduction and Tarski's definition of logical consequence ⋮ The Classical Model Existence Theorem in Subclassical Predicate Logics I ⋮ In Memoriam: Leon Albert Henkin 1921–2006 ⋮ Completeness: from Gödel to Henkin ⋮ Leon Henkin ⋮ Tarskian Classical Relevant Logic

Cites Work

• Unnamed Item
• Some applications of the notions of forcing and generic sets
• Completeness of the propositional calculus
• The completeness of the first-order functional calculus
• Completeness in the theory of types
• Eine Bemerkung zu Henkin's Beweis für die Vollständigkeit des Prädikatenkalküls der ersten Stufe

This page was built for publication: The Discovery of My Completeness Proofs