The following pages link to (Q5348541):
Displaying 19 items.
- A note on non-classical nonstandard arithmetic (Q1715475) (← links)
- Reverse mathematics of topology: dimension, paracompactness, and splittings (Q1981984) (← links)
- Reverse mathematics of the uncountability of \(\mathbb{R}\) (Q2104277) (← links)
- Splittings and robustness for the Heine-Borel theorem (Q2117802) (← links)
- Reverse physics: from laws to physical assumptions (Q2125955) (← links)
- Representations and the foundations of mathematics (Q2134273) (← links)
- Betwixt Turing and Kleene (Q2151412) (← links)
- Between Turing and Kleene (Q2151416) (← links)
- Splittings and disjunctions in reverse mathematics (Q2176407) (← links)
- Pincherle's theorem in reverse mathematics and computability theory (Q2304540) (← links)
- The strength of compactness in computability theory and nonstandard analysis (Q2326415) (← links)
- Lifting proofs from countable to uncountable mathematics (Q2672667) (← links)
- Nets and reverse mathematics (Q4995602) (← links)
- Countable sets versus sets that are countable in reverse mathematics (Q5037215) (← links)
- ON THE UNCOUNTABILITY OF (Q5052009) (← links)
- The Brouwer invariance theorems in reverse mathematics (Q5135421) (← links)
- COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS (Q5207560) (← links)
- Structure of semisimple rings in reverse and computable mathematics (Q6077944) (← links)
- Littlewood's principles in reverse real analysis (Q6119156) (← links)