A fortuitous year with Leon Henkin

DOI10.1007/978-3-319-09719-0_5zbMATH Open1326.03004OpenAlexW2127098969MaRDI QIDQ3454802FDOQ3454802

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

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

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)

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 (10)

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

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)