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 50 items.
- A proof-theoretic bound extraction theorem for \(\mathrm{CAT}(\kappa)\)-spaces (Q2363506) (← links)
- The strength of countable saturation (Q2402967) (← links)
- Equivalence of bar induction and bar recursion for continuous functions with continuous moduli (Q2417961) (← links)
- Bounds on Kuhfittig's iteration schema in uniformly convex hyperbolic spaces (Q2442995) (← links)
- Classical consequences of continuous choice principles from intuitionistic analysis (Q2443117) (← links)
- Quantitative image recovery theorems (Q2451917) (← links)
- An application of proof mining to nonlinear iterations (Q2453072) (← links)
- Formalising mathematics -- in praxis; a mathematician's first experiences with Isabelle/HOL and the why and how of getting started (Q2657827) (← links)
- A uniform betweenness property in metric spaces and its role in the quantitative analysis of the ``lion-man'' game (Q2658486) (← links)
- A parametrised functional interpretation of Heyting arithmetic (Q2659105) (← links)
- A universal algorithm for Krull's theorem (Q2672666) (← links)
- Quantitative inconsistent feasibility for averaged mappings (Q2673538) (← links)
- A nonstandard approach to asymptotic fixed point theorems (Q2680373) (← links)
- A finitization of Littlewood's Tauberian theorem and an application in Tauberian remainder theory (Q2683776) (← links)
- Bit-complexity of classical solutions of linear evolutionary systems of partial differential equations (Q2693688) (← links)
- On modified Halpern and Tikhonov-Mann iterations (Q2697004) (← links)
- An approximate Herbrand’s theorem and definable functions in metric structures (Q2888633) (← links)
- On Spector's bar recursion (Q2910991) (← links)
- Term extraction and Ramsey's theorem for pairs (Q2915896) (← links)
- Homotopy type theory and Voevodsky’s univalent foundations (Q2933829) (← links)
- A Computable Solution to Partee’s Temperature Puzzle (Q2964003) (← links)
- Effective results on nonlinear ergodic averages in CAT spaces (Q2976309) (← links)
- SEPARATING FRAGMENTS OF WLEM, LPO, AND MP (Q2976334) (← links)
- A Note on the Mann Iteration for<i>k</i>-Strict Pseudocontractions in Banach Spaces (Q2987786) (← links)
- From Nonstandard Analysis to Various Flavours of Computability Theory (Q2988850) (← 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)
- Towards Computational Complexity Theory on Advanced Function Spaces in Analysis (Q3188250) (← links)
- Firmly nonexpansive mappings in classes of geodesic spaces (Q3190419) (← links)
- Intuitionistic Provability versus Uniform Provability in $$\mathsf{RCA}$$ (Q3195695) (← links)
- A UNIFORM QUANTITATIVE FORM OF SEQUENTIAL WEAK COMPACTNESS AND BAILLON'S NONLINEAR ERGODIC THEOREM (Q3225557) (← links)
- Well Quasi-orders and the Functional Interpretation (Q3295153) (← links)
- The Monotone Completeness Theorem in Constructive Reverse Mathematics (Q3305629) (← links)
- From Mathesis Universalis to Provability, Computability, and Constructivity (Q3305633) (← links)
- Computational Interpretations of Classical Reasoning: From the Epsilon Calculus to Stateful Programs (Q3305635) (← links)
- Local stability of ergodic averages (Q3402200) (← links)
- Confined modified realizability (Q3406445) (← links)
- Measure theory and higher order arithmetic (Q3450084) (← 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 proximal mappings with Young functions in uniformly convex Banach spaces (Q4557940) (← links)
- Quantitative results on Fejér monotone sequences (Q4596332) (← links)