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.19560020102zbMATH Open0075.00501OpenAlexW2158630416MaRDI QIDQ3240233FDOQ3240233

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

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

zbMATH Keywords

Mathematical logic and foundations

Mathematics Subject Classification ID

Philosophical aspects of logic and foundations (03Axx)

Cited In (12)

• The unsolvability of the Gödel class with identity
• Title not available (Why is that?)
• A calculus for finitely satisfiable formulas with identity
• Title not available (Why is that?)
• Title not available (Why is that?)
• Decision problems and recursiveness in formal logic systems
• A decidable subclass of the minimal Gödel class with identity
• Title not available (Why is that?)
• The Gödel class with identity is unsolvable
• Title not available (Why is that?)
• First-order Frege theory is undecidable
• Title not available (Why is that?)

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)