The following pages link to (Q4793025):
Displaying 31 items.
- Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theorem (Q424539) (← links)
- Reverse mathematics and parameter-free transfer (Q1634526) (← links)
- To be or not to be constructive, that is not the question (Q1688964) (← links)
- Things that can and things that cannot be done in PRA (Q1971796) (← links)
- Reverse mathematics of topology: dimension, paracompactness, and splittings (Q1981984) (← links)
- Reverse formalism 16 (Q2054114) (← 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)
- Bounded functional interpretation (Q2488269) (← links)
- Lifting proofs from countable to uncountable mathematics (Q2672667) (← links)
- A Computable Solution to Partee’s Temperature Puzzle (Q2964003) (← links)
- From Nonstandard Analysis to Various Flavours of Computability Theory (Q2988850) (← links)
- Light monotone Dialectica methods for proof mining (Q3184220) (← links)
- Intuitionistic Provability versus Uniform Provability in $$\mathsf{RCA}$$ (Q3195695) (← links)
- A Logical Uniform Boundedness Principle for Abstract Metric and Hyperbolic Spaces (Q4917990) (← links)
- Nets and reverse mathematics (Q4995602) (← links)
- (Q5015363) (← links)
- Countable sets versus sets that are countable in reverse mathematics (Q5037215) (← links)
- ON THE UNCOUNTABILITY OF (Q5052009) (← links)
- COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS (Q5207560) (← links)
- On the mathematical and foundational significance of the uncountable (Q5223120) (← links)
- Decidable fan theorem and uniform continuity theorem with continuous moduli (Q6047675) (← links)
- Banach’s theorem in higher-order reverse mathematics (Q6062174) (← links)
- Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$ (Q6096807) (← links)
- Exploring the abyss in Kleene's computability theory (Q6594829) (← links)
- On the logical and computational properties of the Vitali covering theorem (Q6614040) (← links)
- On robust theorems due to Bolzano, Weierstrass, Jordan, and Cantor (Q6642876) (← links)
- A note on continuous functions on metric spaces (Q6670881) (← links)
