Pages that link to "Item:Q5140330"
From MaRDI portal
The following pages link to Open sets in computability theory and reverse mathematics (Q5140330):
Displaying 17 items.
- Functionals of type 3 as realisers of classical theorems in analysis (Q1670758) (← links)
- Reverse mathematics of topology: dimension, paracompactness, and splittings (Q1981984) (← links)
- Reverse mathematics of the uncountability of \(\mathbb{R}\) (Q2104277) (← links)
- On false Heine/Borel compactness principles in proof mining (Q2117782) (← links)
- Splittings and robustness for the Heine-Borel theorem (Q2117802) (← links)
- Representations and the foundations of mathematics (Q2134273) (← links)
- Betwixt Turing and Kleene (Q2151412) (← links)
- Between Turing and Kleene (Q2151416) (← links)
- The strength of compactness in computability theory and nonstandard analysis (Q2326415) (← links)
- Reverse mathematics of separably closed sets (Q2580957) (← links)
- Lifting proofs from countable to uncountable mathematics (Q2672667) (← links)
- More reverse mathematics of the Heine-Borel Theorem (Q3145974) (← links)
- Countable sets versus sets that are countable in reverse mathematics (Q5037215) (← links)
- ON THE UNCOUNTABILITY OF (Q5052009) (← links)
- Cousin’s lemma in second-order arithmetic (Q5072245) (← links)
- Exploring the abyss in Kleene's computability theory (Q6594829) (← links)
- Computability and non-monotone induction (Q6594831) (← links)