A fortuitous year with Leon Henkin
DOI10.1007/978-3-319-09719-0_5zbMATH Open1326.03004OpenAlexW2127098969MaRDI QIDQ3454802FDOQ3454802
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
Recommendations
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)
Cites Work
- Title not available (Why is that?)
- Undecidable theories
- Arithmetization of metamathematics in a general setting
- Title not available (Why is that?)
- The completeness of the first-order functional calculus
- Solution of a problem of Leon Henkin
- Title not available (Why is that?)
- Systems of predicative analysis
- Title not available (Why is that?)
- Transfinite recursive progressions of axiomatic theories
- The first order properties of products of algebraic systems
- Systems of Logic Based on Ordinals†
- Relative Interpretations
- Title not available (Why is that?)
- The Henkin Sentence
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Eine Bemerkung zu Henkin's Beweis für die Vollständigkeit des Prädikatenkalküls der ersten Stufe
Cited In (6)
- 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
- On being a student of John Reynolds
- Jean van Heijenoort's contributions to proof theory and its history
- Feferman’s Skepticism About Set Theory
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)
