The following pages link to (Q4793025):
Displayed 5 items.
- Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theorem (Q424539) (← links)
- Things that can and things that cannot be done in PRA (Q1971796) (← links)
- Bounded functional interpretation (Q2488269) (← links)
- Light monotone Dialectica methods for proof mining (Q3184220) (← links)
- A Logical Uniform Boundedness Principle for Abstract Metric and Hyperbolic Spaces (Q4917990) (← links)