A fortuitous year with Leon Henkin

DOI10.1007/978-3-319-09719-0_5MaRDI QIDQ3454802zbMATH OpenOpenAlexFDO

Authors Solomon Feferman

Publication date 27 November 2015

Published in Studies in Universal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-09719-0_5

zbMATH Keywords

incompleteness theoremsarithmetization of metamathematicsinterpretability of theoriescompleteness of predicate calculusformal consistency statementsHenkin's proof of completeness

Mathematics Subject Classification ID

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

Recommendations

• Leon Henkin and a life of service
• Tracing back ``logic in wonderland to my work with Leon Henkin
• Visions of Henkin
• scientific article; zbMATH DE number 1169387
• Lessons from Leon

Cites work

• scientific article; zbMATH DE number 3782996 (Why is no real title available?)
• scientific article; zbMATH DE number 218514 (Why is no real title available?)
• scientific article; zbMATH DE number 2123604 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• scientific article; zbMATH DE number 3319511 (Why is no real title available?)
• scientific article; zbMATH DE number 3070439 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• scientific article; zbMATH DE number 3084368 (Why is no real title available?)
• Arithmetization of metamathematics in a general setting
• Eine Bemerkung zu Henkin's Beweis für die Vollständigkeit des Prädikatenkalküls der ersten Stufe
• Relative Interpretations
• Solution of a problem of Leon Henkin
• Systems of Logic Based on Ordinals^†
• Systems of predicative analysis
• The Henkin sentence
• The completeness of the first-order functional calculus
• The first order properties of products of algebraic systems
• Transfinite recursive progressions of axiomatic theories
• Undecidable theories

Cited in

(10)

• Lessons from Leon
• From choosing elements to choosing concepts: the evolution of Feferman's work in model theory
• Feferman's skepticism about set theory
• Tracing back ``logic in wonderland to my work with Leon Henkin
• Leon Henkin and a life of service
• Jean van Heijenoort's contributions to proof theory and its history
• On being a student of John Reynolds
• Leon Henkin
• IN MEMORIAM: SOLOMON FEFERMAN (1928–2016)
• Andrzej Mostowski and the notion of a model

This page was built for publication: A fortuitous year with Leon Henkin

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