The following pages link to (Q4941992):
Displaying 5 items.
- On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness (Q1295420) (← links)
- Things that can and things that cannot be done in PRA (Q1971796) (← links)
- Bounded functional interpretation (Q2488269) (← links)
- A Logical Uniform Boundedness Principle for Abstract Metric and Hyperbolic Spaces (Q4917990) (← links)
- Logical Approaches to Computational Barriers (Q5898800) (← links)