A fortuitous year with Leon Henkin
From MaRDI portal
Publication:3454802
Recommendations
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)