A Logical Uniform Boundedness Principle for Abstract Metric and Hyperbolic Spaces
From MaRDI portal
Publication:4917990
DOI10.1016/j.entcs.2006.05.038zbMath1262.54020OpenAlexW1996880485MaRDI QIDQ4917990
Publication date: 3 May 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2006.05.038
Fixed-point and coincidence theorems (topological aspects) (54H25) Contraction-type mappings, nonexpansive mappings, (A)-proper mappings, etc. (47H09) Functionals in proof theory (03F10)
Related Items
Logical metatheorems for abstract spaces axiomatized in positive bounded logic, Proof-theoretic uniform boundedness and bounded collection principles and countable Heine-Borel compactness, General logical metatheorems for functional analysis, Injecting uniformities into Peano arithmetic, Logical aspects of rates of convergence in metric spaces, On the removal of weak compactness arguments in proof mining
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A quantitative version of Kirk's fixed point theorem for asymptotic contractions
- Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- Bounded functional interpretation
- Strongly uniform bounds from semi-constructive proofs
- Extensional Gödel functional interpretation. A consistency proof of classical analysis
- Iteration processes for nonexpansive mappings
- A Note on Contractive Mappings
- On Fixed and Periodic Points Under Contractive Mappings
- A Comparison of Various Definitions of Contractive Mappings
- Some logical metatheorems with applications in functional analysis
- General logical metatheorems for functional analysis
