Undecidability and intuitionistic incompleteness

DOI10.1007/BF00257386MaRDI QIDQ1815411zbMATH OpenOpenAlexFDO

Authors David Charles McCarty

Publication date 12 November 1996

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00257386

zbMATH Keywords

completenessintuitionistic logicKripke modelsclassical logicMarkov's principleBeth models

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Decidability of theories and sets of sentences (03B25) Metamathematics of constructive systems (03F50)

Recommendations

• Undecidability, incompleteness and Arnol'd problems
• Undecidability in Some Structures Related to Computation Theory
• scientific article; zbMATH DE number 12906
• scientific article; zbMATH DE number 4189692
• Undecidability in Weihrauch degrees
• scientific article; zbMATH DE number 1160644
• scientific article; zbMATH DE number 572102
• The undecidability of the semi-unification problem
• Undecidability of compass logic
• Remarks on undecidability, incompleteness and the integrability problem

Cited in

(22)

• scientific article; zbMATH DE number 3875248 (Why is no real title available?)
• Undecidability in Some Structures Related to Computation Theory
• Undecidability over Continuous Time
• scientific article; zbMATH DE number 2123258 (Why is no real title available?)
• Some strongly undecidable natural arithmetical problems, with an application to intuitionistic theories
• Intuitionistic completeness of first-order logic
• On the strongly generic undecidability of the halting problem
• scientific article; zbMATH DE number 5497805 (Why is no real title available?)
• Krivine's intuitionistic proof of classical completeness (for countable languages)
• Undecidable hypotheses in Edward Nelson's internal set theory
• Undecidable goals for completed acyclic programs
• scientific article; zbMATH DE number 1984520 (Why is no real title available?)
• Undecidable properties of extensions of the logic of provability
• scientific article; zbMATH DE number 2108194 (Why is no real title available?)
• scientific article; zbMATH DE number 937378 (Why is no real title available?)
• Semantical analysis of specification logic
• Completeness and incompleteness for intuitionistic logic
• UNDECIDABILITY OF THE THEORIES OF CLASSES OF STRUCTURES
• Undecidable iterative propositional calculus
• Undecidability in Anti-Realism
• Kalmár and Péter: Undecidability as a Consequence of Incompleteness
• Incompleteness, Undecidability and Automated Proofs

This page was built for publication: Undecidability and intuitionistic incompleteness

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