The following pages link to (Q4222972):
Displaying 4 items.
- Things that can and things that cannot be done in PRA (Q1971796) (← links)
- A proof-theoretic bound extraction theorem for \(\mathrm{CAT}(\kappa)\)-spaces (Q2363506) (← links)
- Bounded functional interpretation (Q2488269) (← links)
- Light monotone Dialectica methods for proof mining (Q3184220) (← links)
