Logical aspects of rates of convergence in metric spaces
DOI10.2178/JSL/1254748697zbMATH Open1184.03055OpenAlexW2018168442MaRDI QIDQ3655262FDOQ3655262
Authors: Eyvind Martol Briseid 
Publication date: 7 January 2010
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2178/jsl/1254748697
Recommendations
- Quantitative analysis of iterative algorithms in fixed point theory and convex optimization
- scientific article; zbMATH DE number 5660525
- A new metastable convergence criterion and an application in the theory of uniformly convex Banach spaces
- A rate of convergence for asymptotic contractions
- On quantitative versions of theorems due to F. E. Browder and R. Wittmann
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) Complexity of proofs (03F20) Second- and higher-order arithmetic and fragments (03F35) Functionals in proof theory (03F10)
Cites Work
- Fixed points of asymptotic contractions
- Some logical metatheorems with applications in functional analysis
- On Kirk's asymptotic contractions
- Existence and uniqueness of endpoints of closed set-valued asymptotic contractions in metric spaces
- Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
- A complete comparison of 25 contraction conditions
- Fixed-point theorem for asymptotic contractions of Meir--Keeler type in complete metric spaces
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
- 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 definitive result on asymptotic contractions
- A quantitative version of Kirk's fixed point theorem for asymptotic contractions
- A rate of convergence for asymptotic contractions
- A logical uniform boundedness principle for abstract metric and hyperbolic spaces
Cited In (8)
- A new metastable convergence criterion and an application in the theory of uniformly convex Banach spaces
- Title not available (Why is that?)
- A functional interpretation for nonstandard arithmetic
- On the computational content of convergence proofs via Banach limits
- Moduli of regularity and rates of convergence for Fejér monotone sequences
- An abstract proximal point algorithm
- A nonstandard approach to asymptotic fixed point theorems
- Quantitative analysis of iterative algorithms in fixed point theory and convex optimization
This page was built for publication: Logical aspects of rates of convergence in metric spaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3655262)
