Pages that link to "Item:Q5450521"
From MaRDI portal
The following pages link to Applied Proof Theory: Proof Interpretations and Their Use in Mathematics (Q5450521):
Displayed 30 items.
- The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma (Q408156) (← links)
- A quantitative nonlinear strong ergodic theorem for Hilbert spaces (Q413215) (← links)
- The bounded functional interpretation of bar induction (Q435192) (← links)
- Primitive recursion and the chain antichain principle (Q435242) (← links)
- On the asymptotic behavior of odd operators (Q549798) (← links)
- Effective rates of convergence for Lipschitzian pseudocontractive mappings in general Banach spaces (Q555039) (← links)
- On quantitative versions of theorems due to F. E. Browder and R. Wittmann (Q624339) (← links)
- Computability of finite-dimensional linear subspaces and best approximation (Q638485) (← links)
- Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces (Q845286) (← links)
- From (Idealized) exact causality-preserving transformations to practically useful approximately-preserving ones: a general approach (Q930194) (← links)
- On the form of witness terms (Q982183) (← links)
- The metamathematics of ergodic theory (Q1006602) (← links)
- An approximate Herbrand’s theorem and definable functions in metric structures (Q2888633) (← links)
- The cohesive principle and the Bolzano-Weierstraß principle (Q3008059) (← links)
- On the computational content of the Bolzano-Weierstraß Principle (Q3053232) (← links)
- Proof interpretations with truth (Q3066291) (← links)
- On the non-confluence of cut-elimination (Q3083141) (← links)
- A note on the monotone functional interpretation (Q3107344) (← links)
- Proof Theory in Philosophy of Mathematics (Q3160752) (← links)
- Reverse Mathematics: The Playground of Logic (Q3163663) (← links)
- Light monotone Dialectica methods for proof mining (Q3184220) (← links)
- A UNIFORM QUANTITATIVE FORM OF SEQUENTIAL WEAK COMPACTNESS AND BAILLON'S NONLINEAR ERGODIC THEOREM (Q3225557) (← links)
- Local stability of ergodic averages (Q3402200) (← links)
- Confined modified realizability (Q3406445) (← links)
- The bounded functional interpretation of the double negation shift (Q3570171) (← links)
- A quantitative mean ergodic theorem for uniformly convex Banach spaces (Q3650303) (← links)
- Functional interpretation and inductive definitions (Q3655246) (← links)
- Logical aspects of rates of convergence in metric spaces (Q3655262) (← links)
- On Tao's “finitary” infinite pigeonhole principle (Q5190206) (← links)
- 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09 (Q5305554) (← links)