A Fortuitous Year with Leon Henkin

DOI10.1007/978-3-319-09719-0_5zbMath1326.03004OpenAlexW2127098969MaRDI QIDQ3454802

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)

Related Items

Jean van Heijenoort's contributions to proof theory and its history, IN MEMORIAM: SOLOMON FEFERMAN (1928–2016), Andrzej Mostowski and the Notion of a Model, From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory, Feferman’s Skepticism About Set Theory

Cites Work

• Undecidable theories
• Solution of a problem of Leon Henkin
• The first order properties of products of algebraic systems
• Arithmetization of metamathematics in a general setting
• The Henkin Sentence
• Systems of predicative analysis
• Transfinite recursive progressions of axiomatic theories
• Relative Interpretations
• Systems of Logic Based on Ordinals^†
• The completeness of the first-order functional calculus
• Eine Bemerkung zu Henkin's Beweis für die Vollständigkeit des Prädikatenkalküls der ersten Stufe
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item