Undecidability and intuitionistic incompleteness

DOI10.1007/BF00257386zbMATH Open0862.03001OpenAlexW1988967089MaRDI QIDQ1815411FDOQ1815411

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

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

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)

Cited In (22)

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

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)