An application of proof mining to nonlinear iterations

DOI10.1016/j.apal.2014.04.015zbMath1388.03052arXiv1211.2991OpenAlexW2963722077MaRDI QIDQ2453072

Laurenţiu Leuştean

Publication date: 6 June 2014

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1211.2991

zbMATH Keywords

nonexpansive mappingsasymptotic regularityproof miningiterative procedureslogical metatheoremsuniformly convex geodesic spaces

Mathematics Subject Classification ID

Iterative procedures involving nonlinear operators (47J25) Constructive and recursive analysis (03F60) Contraction-type mappings, nonexpansive mappings, (A)-proper mappings, etc. (47H09) Functionals in proof theory (03F10)

Related Items

Effective results on a fixed point algorithm for families of nonlinear mappings, A proof‐theoretic metatheorem for tracial von Neumann algebras, Quantitative results on Fejér monotone sequences, Unnamed Item, Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017, Construction of Fixed Points of Asymptotically Nonexpansive Mappings in Uniformly Convex Hyperbolic Spaces, Asymptotic regularity, fixed points and successive approximations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A quadratic rate of asymptotic regularity for CAT(0)-spaces
• A quantitative ergodic theory proof of Szemerédi's theorem
• A correspondence principle between (hyper)graph theory and probability theory, and the (hyper)graph removal Lemma
• Weak convergence theorems for nonexpansive mappings in Banach spaces
• Approximating fixed points of nonexpansive mappings by the Ishikawa iteration process
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• The primes contain arbitrarily long arithmetic progressions
• On \(\Delta\)-convergence theorems in CAT\((0)\) spaces
• Strongly uniform bounds from semi-constructive proofs
• Spaces with non-positive curvature
• Hybrid Functional Interpretations of Linear and Intuitionistic Logic
• On the computational content of convergence proofs via Banach limits
• A convexity in metric space and nonexpansive mappings. I.
• Hybrid Functional Interpretations
• Nonexpansive iterations in uniformly convex $W$-hyperbolic spaces
• Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
• Remarks on Some Fixed Point Theorems
• Fixed Points by a New Iteration Method
• Some logical metatheorems with applications in functional analysis
• 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
• The mathematical significance of proof theory
• Norm convergence of multiple ergodic averages for commuting transformations
• General logical metatheorems for functional analysis
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• The solution by iteration of nonlinear functional equations in Banach spaces
• Mean Value Methods in Iteration
• Metric spaces, convexity and nonpositive curvature