Logical aspects of rates of convergence in metric spaces

DOI10.2178/JSL/1254748697MaRDI QIDQ3655262zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

rates of convergenceproof miningmetric fixed-point theoryPicard iteration sequencesselfmaps on bounded metric spaces

Mathematics Subject Classification ID

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)

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

Cites work

• A complete comparison of 25 contraction conditions
• A definitive result on asymptotic contractions
• A logical uniform boundedness principle for abstract metric and hyperbolic spaces
• A quantitative version of Kirk's fixed point theorem for asymptotic contractions
• A rate of convergence for asymptotic contractions
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation
• Existence and uniqueness of endpoints of closed set-valued asymptotic contractions in metric spaces
• Fixed points of asymptotic contractions
• Fixed-point theorem for asymptotic contractions of Meir--Keeler type in complete metric spaces
• On Kirk's asymptotic contractions
• On a fixed point theorem of Kirk
• Some logical metatheorems with applications in functional analysis
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES

Cited in

(8)

• A new metastable convergence criterion and an application in the theory of uniformly convex Banach spaces
• A functional interpretation for nonstandard arithmetic
• scientific article; zbMATH DE number 5660525 (Why is no real title available?)
• 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)