Henkin on Completeness
From MaRDI portal
Publication:3454811
DOI10.1007/978-3-319-09719-0_12zbMath1347.03003MaRDI QIDQ3454811
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_12
interpolation; completeness; first-order logic; truth; provability; equality; type theory; propositional type theory; Herbrand; Henkin; Craig
01A60: History of mathematics in the 20th century
03B10: Classical first-order logic
03-03: History of mathematical logic and foundations
Related Items
Cites Work
- Unnamed Item
- Some notes on nominalism
- Alonzo church:his life, his work and some of his miracles
- The Discovery of My Completeness Proofs
- Completeness: from Gödel to Henkin
- A theory of prepositional types
- A reduction of the axioms for the theory of prepositional types
- An extension of the Craig-Lyndon interpolation theorem
- Logic based on inclusion and abstraction
- A formulation of the simple theory of types
- The completeness of the first-order functional calculus
- Completeness in the theory of types
- Banishing the rule of substitution for functional variables