Henkin’s Theorem in Textbooks

DOI10.1007/978-3-319-09719-0_11zbMath1330.03003OpenAlexW76993829MaRDI QIDQ3454810

Enrique Alonso

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_11

zbMATH Keywords

history of logiccase studies in history of mathematicscompleteness in elementary logic

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) General histories, source books (01A05)

Cites Work

• The foundations of mathematics. A study in the philosophy of science
• Introduction to mathematical logic. Translated from the German by Diana Schmidt
• The Discovery of My Completeness Proofs
• The completeness of the first-order functional calculus
• A proof of the completeness theorem of Grödel
• A proof of the Skolem-Löwenheim Theorem
• Eine Bemerkung zu Henkin's Beweis für die Vollständigkeit des Prädikatenkalküls der ersten Stufe
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item