Visions of Henkin

DOI10.1007/S11229-013-0389-7MaRDI QIDQ514560zbMATH OpenOpenAlexFDO

Authors María Manzano, Enrique Alonso

Publication date 9 March 2017

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11229-013-0389-7

zbMATH Keywords

completenesshistory of logicLeon Henkin

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03) Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• Henkin on completeness
• The Discovery of My Completeness Proofs
• Completeness: from Gödel to Henkin
• Henkin's theorem in textbooks
• Leon Henkin the reviewer

Cites work

• A theory of prepositional types
• Alonzo church:his life, his work and some of his miracles
• An extension of the Craig-Lyndon interpolation theorem
• Banishing the rule of substitution for functional variables
• Diagonalisation and Church's Thesis: Kleene's Homework
• scientific article; zbMATH DE number 799855 (Why is no real title available?)
• scientific article; zbMATH DE number 3196257 (Why is no real title available?)
• scientific article; zbMATH DE number 3086346 (Why is no real title available?)
• On Mathematical Induction
• Some notes on nominalism
• The Discovery of My Completeness Proofs
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I

Cited in

(9)

• Leon Henkin
• Tracing back ``logic in wonderland to my work with Leon Henkin
• A fortuitous year with Leon Henkin
• Leon Henkin and a life of service
• Pairing logical and pedagogical foundations for the theory of positive rational numbers -- Henkin's unfinished work
• Leon Henkin the reviewer
• Henkin's theorem in textbooks
• Henkin on completeness
• Henkin and hybrid logic

This page was built for publication: Visions of Henkin

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q514560)