Completeness: from Gödel to Henkin

DOI10.1080/01445340.2013.816555zbMath1312.03004OpenAlexW2054845811WikidataQ58341603 ScholiaQ58341603MaRDI QIDQ4983362

Enrique Alonso, María Manzano

Publication date: 25 March 2015

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445340.2013.816555

zbMATH Keywords

completenessfirst-order logictype theoryGödel's proof of completeness

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03)

Related Items (2)

Henkin on Completeness ⋮ Completeness: from Husserl to Carnap

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Completeness in hybrid type theory
• Alonzo church:his life, his work and some of his miracles
• On the Concept of Following Logically
• The Mathematical Work of S.C.Kleene
• The Discovery of My Completeness Proofs
• An Unsolvable Problem of Elementary Number Theory
• A note on the Entscheidungsproblem
• A formulation of the simple theory of types
• The completeness of the first-order functional calculus

This page was built for publication: Completeness: from Gödel to Henkin