Pages that link to "Item:Q1422103"
From MaRDI portal
The following pages link to Reverse mathematics and completeness theorems for intuitionistic logic (Q1422103):
Displaying 10 items.
- Semantic completeness of first-order theories in constructive reverse mathematics (Q286708) (← links)
- Erratum to: ``Semantic completeness of first-order theories in constructive reverse mathematics'' (Q509612) (← links)
- Intuitionistic completeness and classical logic (Q1882403) (← links)
- Splittings and disjunctions in reverse mathematics (Q2176407) (← links)
- Semantical completeness of first-order predicate logic and the weak fan theorem (Q2350974) (← links)
- (Q3840398) (← links)
- ON WEIHRAUCH REDUCIBILITY AND INTUITIONISTIC REVERSE MATHEMATICS (Q4600462) (← links)
- L-Completeness of the Lambek Calculus with the Reversal Operation (Q4981253) (← links)
- Well-Ordering Principles in Proof Theory and Reverse Mathematics (Q5055281) (← links)
- Hindman's theorem, ultrafilters, and reverse mathematics (Q5313381) (← links)