Ein Direkter Beweis für die Allgemein‐Rekursive Unlösbarkeit des Entscheidungsproblems des Prädikatenkalküls der Ersten Stufe mit Identität

DOI10.1002/MALQ.19560020102MaRDI QIDQ3240233zbMATH OpenOpenAlexFDO

Authors L. Kalmár

Publication date 1956

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19560020102

zbMATH Keywords

Mathematical logic and foundations

Mathematics Subject Classification ID

Philosophical aspects of logic and foundations (03Axx)

Recommendations

• Logical undecidabilities made easy
• scientific article; zbMATH DE number 3715502
• Undecidability without arithmetization
• scientific article; zbMATH DE number 965572
• The undecidability of k-provability

Cited in

(14)

• Decision problems and recursiveness in formal logic systems
• The Gödel class with identity is unsolvable
• scientific article; zbMATH DE number 3880650 (Why is no real title available?)
• scientific article; zbMATH DE number 4135909 (Why is no real title available?)
• The unsolvability of the Gödel class with identity
• A decidable subclass of the minimal Gödel class with identity
• scientific article; zbMATH DE number 4039891 (Why is no real title available?)
• scientific article; zbMATH DE number 3715502 (Why is no real title available?)
• Variable compactness in 1-order logic
• scientific article; zbMATH DE number 1567806 (Why is no real title available?)
• A calculus for finitely satisfiable formulas with identity
• scientific article; zbMATH DE number 7644092 (Why is no real title available?)
• First-order Frege theory is undecidable
• Most general first order theorems are not recursively enumerable

This page was built for publication: Ein Direkter Beweis für die Allgemein‐Rekursive Unlösbarkeit des Entscheidungsproblems des Prädikatenkalküls der Ersten Stufe mit Identität

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3240233)