Logical aspects of rates of convergence in metric spaces
From MaRDI portal
Publication:3655262
DOI10.2178/jsl/1254748697zbMath1184.03055OpenAlexW2018168442MaRDI QIDQ3655262
Publication date: 7 January 2010
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2178/jsl/1254748697
rates of convergenceproof miningmetric fixed-point theoryPicard iteration sequencesselfmaps on bounded metric spaces
Metric spaces, metrizability (54E35) Fixed-point and coincidence theorems (topological aspects) (54H25) Functionals in proof theory (03F10) Second- and higher-order arithmetic and fragments (03F35) Complexity of proofs (03F20)
Related Items (5)
An abstract proximal point algorithm ⋮ On the computational content of convergence proofs via Banach limits ⋮ A nonstandard approach to asymptotic fixed point theorems ⋮ A functional interpretation for nonstandard arithmetic ⋮ Moduli of regularity and rates of convergence for Fejér monotone sequences
Cites Work
- Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation
- On a fixed point theorem of Kirk
- A quantitative version of Kirk's fixed point theorem for asymptotic contractions
- Existence and uniqueness of endpoints of closed set-valued asymptotic contractions in metric spaces
- A rate of convergence for asymptotic contractions
- On Kirk's asymptotic contractions
- Fixed points of asymptotic contractions
- Fixed-point theorem for asymptotic contractions of Meir--Keeler type in complete metric spaces
- A definitive result on asymptotic contractions
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
- A complete comparison of 25 contraction conditions
- Some logical metatheorems with applications in functional analysis
- A Logical Uniform Boundedness Principle for Abstract Metric and Hyperbolic Spaces
- Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
This page was built for publication: Logical aspects of rates of convergence in metric spaces
