Pages that link to "Item:Q5442144"
From MaRDI portal
The following pages link to General logical metatheorems for functional analysis (Q5442144):
Displayed 20 items.
- Effective metastability for modified Halpern iterations in CAT(0) spaces (Q385667) (← links)
- A quantitative nonlinear strong ergodic theorem for Hilbert spaces (Q413215) (← links)
- Gödel functional interpretation and weak compactness (Q450951) (← 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)
- The metamathematics of ergodic theory (Q1006602) (← links)
- Some computational aspects of metric fixed-point theory (Q1775881) (← links)
- Bounds on Kuhfittig's iteration schema in uniformly convex hyperbolic spaces (Q2442995) (← links)
- Strongly uniform bounds from semi-constructive proofs (Q2498902) (← 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 quantitative mean ergodic theorem for uniformly convex Banach spaces (Q3650303) (← 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)