The following pages link to (Q4793025):
Displayed 11 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)
- Bounded functional interpretation (Q2488269) (← 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)
- On the mathematical and foundational significance of the uncountable (Q5223120) (← links)