Pages that link to "Item:Q540402"
From MaRDI portal
The following pages link to Reverse mathematics and uniformity in proofs without excluded middle (Q540402):
Displaying 12 items.
- Parallelizations in Weihrauch reducibility and constructive reverse mathematics (Q2106590) (← links)
- Using Ramsey's theorem once (Q2274133) (← links)
- Pincherle's theorem in reverse mathematics and computability theory (Q2304540) (← links)
- Classical consequences of continuous choice principles from intuitionistic analysis (Q2443117) (← links)
- Intuitionistic Provability versus Uniform Provability in $$\mathsf{RCA}$$ (Q3195695) (← links)
- ON WEIHRAUCH REDUCIBILITY AND INTUITIONISTIC REVERSE MATHEMATICS (Q4600462) (← links)
- On avoidability of formulas with reversal (Q4638263) (← links)
- Weihrauch and constructive reducibility between existence statements (Q4995601) (← links)
- Reverse mathematics and Weihrauch analysis motivated by finite complexity theory (Q5037213) (← links)
- Classical provability of uniform versions and intuitionistic provability (Q5258475) (← links)
- On the strength of marriage theorems and uniformity (Q5419204) (← links)
- On robust theorems due to Bolzano, Weierstrass, Jordan, and Cantor (Q6642876) (← links)