A Fortuitous Year with Leon Henkin
From MaRDI portal
Publication:3454802
DOI10.1007/978-3-319-09719-0_5zbMath1326.03004OpenAlexW2127098969MaRDI QIDQ3454802
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
incompleteness theoremsarithmetization of metamathematicsinterpretability of theoriescompleteness of predicate calculusformal consistency statementsHenkin's proof of completeness
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