Pages that link to "Item:Q1182705"
From MaRDI portal
The following pages link to Incompleteness in intuitionistic metamathematics (Q1182705):
Displaying 12 items.
- Intermediate logics and the de Jongh property (Q627438) (← links)
- Negationless intuitionism (Q1267080) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- Intuitionistic completeness and classical logic (Q1882403) (← links)
- Parametric Church's thesis: synthetic computability without choice (Q2151397) (← links)
- Logics of intuitionistic Kripke-Platek set theory (Q2231694) (← links)
- Non-classical metatheory for non-classical logics (Q2377187) (← links)
- Reflexive intermediate propositional logics (Q2505130) (← links)
- Predicate Logics of Constructive Arithmetical Theories (Q3416116) (← links)
- Completeness and incompleteness for intuitionistic logic (Q5502819) (← links)
- Rules and arithmetics (Q5937848) (← links)
- An analysis of Tennenbaum's theorem in constructive type theory (Q6563042) (← links)
