Strongly uniform bounds from semi-constructive proofs
From MaRDI portal
Recommendations
- Some logical metatheorems with applications in functional analysis
- General logical metatheorems for functional analysis
- New Computational Paradigms
- A proof-theoretic bound extraction theorem for \(\mathrm{CAT}(\kappa)\)-spaces
- Logical metatheorems for abstract spaces axiomatized in positive bounded logic
Cites work
- scientific article; zbMATH DE number 4131253 (Why is no real title available?)
- scientific article; zbMATH DE number 1215498 (Why is no real title available?)
- scientific article; zbMATH DE number 2174396 (Why is no real title available?)
- scientific article; zbMATH DE number 224104 (Why is no real title available?)
- scientific article; zbMATH DE number 3216998 (Why is no real title available?)
- scientific article; zbMATH DE number 2196360 (Why is no real title available?)
- scientific article; zbMATH DE number 3231083 (Why is no real title available?)
- A Comparison of Various Definitions of Contractive Mappings
- A Note on Contractive Mappings
- A quantitative version of Kirk's fixed point theorem for asymptotic contractions
- Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization
- Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation
- Examples of fixed point free mappings
- Extensional Gödel functional interpretation. A consistency proof of classical analysis
- Extensions and fixed points of contractive maps in \(\mathbb{R}^ n\)
- General logical metatheorems for functional analysis
- Iteration processes for nonexpansive mappings
- Mann iterates of directionally nonexpansive mappings in hyperbolic spaces
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- Nonexpansive mappings and asymptotic regularity
- On Fixed and Periodic Points Under Contractive Mappings
- On weak completeness of intuitionistic predicate logic
- Relative constructivity
- Some logical metatheorems with applications in functional analysis
- Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
- Uniform asymptotic regularity for Mann iterates.
Cited in
(15)- Fluctuations, effective learnability and metastability in analysis
- Some logical metatheorems with applications in functional analysis
- Effective metastability of Halpern iterates in \(CAT(0)\) spaces
- An application of proof mining to nonlinear iterations
- On computational properties of Cauchy problems generated by accretive operators
- On subrecursive representation of irrational numbers: contractors and Baire sequences
- Proof-theoretic uniform boundedness and bounded collection principles and countable Heine-Borel compactness
- Resolution of the uniform lower bound problem in constructive analysis
- On the computational content of convergence proofs via Banach limits
- Effective rates of convergence for Lipschitzian pseudocontractive mappings in general Banach spaces
- Effective results on a fixed point algorithm for families of nonlinear mappings
- General logical metatheorems for functional analysis
- PROOF MINING IN Lp SPACES
- New Computational Paradigms
- A logical uniform boundedness principle for abstract metric and hyperbolic spaces
This page was built for publication: Strongly uniform bounds from semi-constructive proofs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2498902)
