Pages that link to "Item:Q1354332"
From MaRDI portal
The following pages link to Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals (Q1354332):
Displayed 20 items.
- Fluctuations, effective learnability and metastability in analysis (Q392289) (← links)
- Primitive recursion and the chain antichain principle (Q435242) (← links)
- A complexity analysis of functional interpretations (Q557798) (← links)
- Bounded functional interpretation and feasible analysis (Q866559) (← links)
- Injecting uniformities into Peano arithmetic (Q1006608) (← links)
- On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness (Q1295420) (← links)
- Saturated models of universal theories (Q1861531) (← links)
- Things that can and things that cannot be done in PRA (Q1971796) (← links)
- Nonstandardness and the bounded functional interpretation (Q2344622) (← links)
- Bounded functional interpretation (Q2488269) (← links)
- Term extraction and Ramsey's theorem for pairs (Q2915896) (← links)
- Groundwork for weak analysis (Q3149983) (← links)
- Light monotone Dialectica methods for proof mining (Q3184220) (← links)
- Relative constructivity (Q4254679) (← links)
- Some logical metatheorems with applications in functional analysis (Q4819747) (← links)
- A Logical Uniform Boundedness Principle for Abstract Metric and Hyperbolic Spaces (Q4917990) (← links)
- On Tao's “finitary” infinite pigeonhole principle (Q5190206) (← links)
- Classical provability of uniform versions and intuitionistic provability (Q5258475) (← links)
- Bounded modified realizability (Q5477639) (← links)
- On uniform weak König's lemma (Q5957854) (← links)