Pages that link to "Item:Q2443117"
From MaRDI portal
The following pages link to Classical consequences of continuous choice principles from intuitionistic analysis (Q2443117):
Displaying 13 items.
- Using Ramsey's theorem once (Q2274133) (← links)
- Pincherle's theorem in reverse mathematics and computability theory (Q2304540) (← links)
- MULTIPLE-CONCLUSION LP AND DEFAULT CLASSICALITY (Q3094191) (← links)
- Intuitionistic Provability versus Uniform Provability in $$\mathsf{RCA}$$ (Q3195695) (← links)
- Combining Classical and Intuitionistic Implications (Q3525005) (← links)
- ON WEIHRAUCH REDUCIBILITY AND INTUITIONISTIC REVERSE MATHEMATICS (Q4600462) (← links)
- INTERRELATION BETWEEN WEAK FRAGMENTS OF DOUBLE NEGATION SHIFT AND RELATED PRINCIPLES (Q4692078) (← links)
- Weihrauch and constructive reducibility between existence statements (Q4995601) (← links)
- THE CHARACTERIZATION OF WEIHRAUCH REDUCIBILITY IN SYSTEMS CONTAINING (Q5000259) (← links)
- Reverse mathematics and Weihrauch analysis motivated by finite complexity theory (Q5037213) (← links)
- A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC (Q5082051) (← links)
- Classical provability of uniform versions and intuitionistic provability (Q5258475) (← links)
- On robust theorems due to Bolzano, Weierstrass, Jordan, and Cantor (Q6642876) (← links)
