Pages that link to "Item:Q1815411"
From MaRDI portal
The following pages link to Undecidability and intuitionistic incompleteness (Q1815411):
Displaying 22 items.
- Intuitionistic completeness of first-order logic (Q392280) (← links)
- Undecidable properties of extensions of the logic of provability (Q757339) (← links)
- On the strongly generic undecidability of the halting problem (Q884482) (← links)
- Semantical analysis of specification logic (Q913527) (← links)
- Undecidable goals for completed acyclic programs (Q1326578) (← links)
- On theorems of Gödel and Kreisel: Completeness and Markov's principle (Q1333319) (← links)
- Krivine's intuitionistic proof of classical completeness (for countable languages) (Q1887656) (← links)
- Undecidable iterative propositional calculus (Q2364331) (← links)
- Incompleteness, Undecidability and Automated Proofs (Q2829997) (← links)
- Kalmár and Péter: Undecidability as a Consequence of Incompleteness (Q3195713) (← links)
- (Q3342548) (← links)
- Undecidability over Continuous Time (Q3424115) (← links)
- Undecidability in Some Structures Related to Computation Theory (Q3611729) (← links)
- Undecidable hypotheses in Edward Nelson's internal set theory (Q4005527) (← links)
- Undecidability in Anti-Realism (Q4224762) (← links)
- (Q4428885) (← links)
- Some strongly undecidable natural arithmetical problems, with an application to intuitionistic theories (Q4457733) (← links)
- (Q4820592) (← links)
- (Q4830809) (← links)
- (Q4896519) (← links)
- UNDECIDABILITY OF THE THEORIES OF CLASSES OF STRUCTURES (Q5177872) (← links)
- (Q5505301) (← links)