Pages that link to "Item:Q5442144"
From MaRDI portal
The following pages link to General logical metatheorems for functional analysis (Q5442144):
Displaying 39 items.
- Effective results on a fixed point algorithm for families of nonlinear mappings (Q331050) (← links)
- Effective metastability for modified Halpern iterations in CAT(0) spaces (Q385667) (← links)
- Convergence analysis of a general iteration schema of nonlinear mappings in hyperbolic spaces (Q400468) (← links)
- A quantitative nonlinear strong ergodic theorem for Hilbert spaces (Q413215) (← links)
- Gödel functional interpretation and weak compactness (Q450951) (← links)
- Effective asymptotic regularity for one-parameter nonexpansive semigroups (Q499259) (← 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)
- A functional interpretation for nonstandard arithmetic (Q714729) (← links)
- Effective metastability of Halpern iterates in \(CAT(0)\) spaces (Q715208) (← links)
- Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces (Q845286) (← links)
- The approximate fixed point property in product spaces (Q866523) (← links)
- Logical metatheorems for abstract spaces axiomatized in positive bounded logic (Q908073) (← links)
- The metamathematics of ergodic theory (Q1006602) (← links)
- An abstract proximal point algorithm (Q1630279) (← links)
- A polynomial rate of asymptotic regularity for compositions of projections in Hilbert space (Q1727978) (← links)
- Some computational aspects of metric fixed-point theory (Q1775881) (← links)
- Intuitionistic fixed point logic (Q2220485) (← links)
- Proof-theoretic uniform boundedness and bounded collection principles and countable Heine-Borel compactness (Q2238150) (← links)
- The abstract type of the real numbers (Q2238151) (← links)
- A new metastable convergence criterion and an application in the theory of uniformly convex Banach spaces (Q2320042) (← links)
- On the removal of weak compactness arguments in proof mining (Q2324564) (← links)
- A proof-theoretic bound extraction theorem for \(\mathrm{CAT}(\kappa)\)-spaces (Q2363506) (← links)
- Bounds on Kuhfittig's iteration schema in uniformly convex hyperbolic spaces (Q2442995) (← links)
- Quantitative image recovery theorems (Q2451917) (← links)
- An application of proof mining to nonlinear iterations (Q2453072) (← links)
- Strongly uniform bounds from semi-constructive proofs (Q2498902) (← links)
- On the computational content of convergence proofs via Banach limits (Q2941598) (← links)
- A note on the monotone functional interpretation (Q3107344) (← links)
- A UNIFORM QUANTITATIVE FORM OF SEQUENTIAL WEAK COMPACTNESS AND BAILLON'S NONLINEAR ERGODIC THEOREM (Q3225557) (← links)
- Local stability of ergodic averages (Q3402200) (← links)
- A Logical Uniform Boundedness Principle for Abstract Metric and Hyperbolic Spaces (Q4917990) (← links)
- Proof Mining in <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="double-struck">R</mml:mi></mml:math>-trees and Hyperbolic Spaces (Q4917991) (← links)
- PROOF MINING IN <i>L</i><sup><i>p</i></sup> SPACES (Q5207569) (← links)
- Oscillation and the mean ergodic theorem for uniformly convex Banach spaces (Q5262253) (← links)
- A proof‐theoretic metatheorem for tracial von Neumann algebras (Q6096718) (← links)
- Rates of convergence for the asymptotic behavior of second-order Cauchy problems (Q6146391) (← links)
- On computational properties of Cauchy problems generated by accretive operators (Q6148761) (← links)