The following pages link to (Q3837732):
Displaying 37 items.
- Effective results on a fixed point algorithm for families of nonlinear mappings (Q331050) (← links)
- A quantitative nonlinear strong ergodic theorem for Hilbert spaces (Q413215) (← links)
- The bounded functional interpretation of bar induction (Q435192) (← links)
- Gödel functional interpretation and weak compactness (Q450951) (← links)
- A complexity analysis of functional interpretations (Q557798) (← links)
- On quantitative versions of theorems due to F. E. Browder and R. Wittmann (Q624339) (← links)
- Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces (Q845286) (← links)
- Logical metatheorems for abstract spaces axiomatized in positive bounded logic (Q908073) (← links)
- Injecting uniformities into Peano arithmetic (Q1006608) (← links)
- On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness (Q1295420) (← links)
- Proof-theoretic analysis by iterated reflection (Q1407608) (← links)
- Proof mining and effective bounds in differential polynomial rings (Q1711923) (← links)
- Proof mining in \(L_{1}\)-approximation (Q1874241) (← links)
- Metastability of the proximal point algorithm with multi-parameters (Q2043306) (← links)
- The abstract type of the real numbers (Q2238151) (← links)
- On the removal of weak compactness arguments in proof mining (Q2324564) (← links)
- An application of proof mining to nonlinear iterations (Q2453072) (← links)
- Bounded functional interpretation (Q2488269) (← links)
- A parametrised functional interpretation of Heyting arithmetic (Q2659105) (← links)
- A finitization of Littlewood's Tauberian theorem and an application in Tauberian remainder theory (Q2683776) (← links)
- Writing Proofs in Analysis (Q2799541) (← links)
- Light Dialectica program extraction from a classical Fibonacci proof (Q2864211) (← links)
- Proof Analysis (Q3114184) (← links)
- Light monotone Dialectica methods for proof mining (Q3184220) (← links)
- (Q3338233) (← links)
- (Q3437622) (← links)
- (Q4366526) (← links)
- Some logical metatheorems with applications in functional analysis (Q4819747) (← links)
- A Logical Uniform Boundedness Principle for Abstract Metric and Hyperbolic Spaces (Q4917990) (← links)
- (Q5129941) (← links)
- Spector’s Proof of the Consistency of Analysis (Q5361252) (← links)
- Refined program extraction from classical proofs (Q5957850) (← links)
- Hardwiring truth in functional interpretations (Q6041142) (← links)
- Bounds on strong unicity for Chebyshev approximation with bounded coefficients (Q6094024) (← links)
- A proof‐theoretic metatheorem for tracial von Neumann algebras (Q6096718) (← links)
- Herbrandized modified realizability (Q6565573) (← links)
- Proof mining for the dual of a Banach space with extensions for uniformly Fréchet differentiable functions (Q6658123) (← links)
