Strongly uniform bounds from semi-constructive proofs
From MaRDI portal
Publication:2498902
DOI10.1016/j.apal.2005.10.003zbMath1099.03048OpenAlexW2088842595MaRDI QIDQ2498902
Ulrich Kohlenbach, Philipp Gerhardy
Publication date: 16 August 2006
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2005.10.003
Fixed-point theorems (47H10) Structure of proofs (03F07) Functionals in proof theory (03F10) Second- and higher-order arithmetic and fragments (03F35) Metamathematics of constructive systems (03F50)
Related Items (11)
Effective results on a fixed point algorithm for families of nonlinear mappings ⋮ On the computational content of convergence proofs via Banach limits ⋮ Fluctuations, effective learnability and metastability in analysis ⋮ On computational properties of Cauchy problems generated by accretive operators ⋮ An application of proof mining to nonlinear iterations ⋮ A Logical Uniform Boundedness Principle for Abstract Metric and Hyperbolic Spaces ⋮ Effective rates of convergence for Lipschitzian pseudocontractive mappings in general Banach spaces ⋮ Effective metastability of Halpern iterates in \(CAT(0)\) spaces ⋮ General logical metatheorems for functional analysis ⋮ PROOF MINING IN Lp SPACES ⋮ On subrecursive representation of irrational numbers: contractors and Baire sequences
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation
- A quantitative version of Kirk's fixed point theorem for asymptotic contractions
- Extensions and fixed points of contractive maps in \(\mathbb{R}^ n\)
- Nonexpansive mappings and asymptotic regularity
- Mann iterates of directionally nonexpansive mappings in hyperbolic spaces
- Uniform asymptotic regularity for Mann iterates.
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- Extensional Gödel functional interpretation. A consistency proof of classical analysis
- Iteration processes for nonexpansive mappings
- A Note on Contractive Mappings
- Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
- On Fixed and Periodic Points Under Contractive Mappings
- Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization
- A Comparison of Various Definitions of Contractive Mappings
- Relative constructivity
- Some logical metatheorems with applications in functional analysis
- General logical metatheorems for functional analysis
- On weak completeness of intuitionistic predicate logic
This page was built for publication: Strongly uniform bounds from semi-constructive proofs
