General logical metatheorems for functional analysis
From MaRDI portal
Publication:5442144
DOI10.1090/S0002-9947-07-04429-7zbMath1130.03036MaRDI QIDQ5442144
Philipp Gerhardy, Ulrich Kohlenbach
Publication date: 15 February 2008
Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1090/s0002-9947-07-04429-7
nonlinear functional analysis; effective bounds; metric fixed point theory; proof-theoretic analysis; local boundedness conditions; uniformity of bounds
47H10: Fixed-point theorems
47H09: Contraction-type mappings, nonexpansive mappings, (A)-proper mappings, etc.
03F10: Functionals in proof theory
03F35: Second- and higher-order arithmetic and fragments
Related Items
Quantitative results on Fejér monotone sequences, A Logical Uniform Boundedness Principle for Abstract Metric and Hyperbolic Spaces, 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 finitary content of sunny nonexpansive retractions, PROOF MINING IN Lp SPACES, Oscillation and the mean ergodic theorem for uniformly convex Banach spaces, Unnamed Item, A proof‐theoretic metatheorem for tracial von Neumann algebras, On computational properties of Cauchy problems generated by accretive operators, Effective results on a fixed point algorithm for families of nonlinear mappings, Effective metastability for modified Halpern iterations in CAT(0) spaces, Convergence analysis of a general iteration schema of nonlinear mappings in hyperbolic spaces, A quantitative nonlinear strong ergodic theorem for Hilbert spaces, Gödel functional interpretation and weak compactness, Effective asymptotic regularity for one-parameter nonexpansive semigroups, On the asymptotic behavior of odd operators, Effective rates of convergence for Lipschitzian pseudocontractive mappings in general Banach spaces, On quantitative versions of theorems due to F. E. Browder and R. Wittmann, A functional interpretation for nonstandard arithmetic, Effective metastability of Halpern iterates in \(CAT(0)\) spaces, Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces, The approximate fixed point property in product spaces, Logical metatheorems for abstract spaces axiomatized in positive bounded logic, The metamathematics of ergodic theory, An abstract proximal point algorithm, A polynomial rate of asymptotic regularity for compositions of projections in Hilbert space, Some computational aspects of metric fixed-point theory, Intuitionistic fixed point logic, Proof-theoretic uniform boundedness and bounded collection principles and countable Heine-Borel compactness, The abstract type of the real numbers, A new metastable convergence criterion and an application in the theory of uniformly convex Banach spaces, On the removal of weak compactness arguments in proof mining, A proof-theoretic bound extraction theorem for \(\mathrm{CAT}(\kappa)\)-spaces, Bounds on Kuhfittig's iteration schema in uniformly convex hyperbolic spaces, Quantitative image recovery theorems, An application of proof mining to nonlinear iterations, Strongly uniform bounds from semi-constructive proofs, On the computational content of convergence proofs via Banach limits, A note on the monotone functional interpretation, A UNIFORM QUANTITATIVE FORM OF SEQUENTIAL WEAK COMPACTNESS AND BAILLON'S NONLINEAR ERGODIC THEOREM, Local stability of ergodic averages, A quantitative mean ergodic theorem for uniformly convex Banach spaces
Cites Work
- Unnamed Item
- Unnamed Item
- 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 quadratic rate of asymptotic regularity for CAT(0)-spaces
- The approximate fixed point property in product spaces
- The fixed point property for mappings admitting a center
- The approximate fixed point property in Banach and hyperbolic spaces
- Nonexpansive mappings and asymptotic regularity
- Some computational aspects of metric fixed-point theory
- Mann iterates of directionally nonexpansive mappings in hyperbolic spaces
- Uniform asymptotic regularity for Mann iterates.
- Strongly uniform bounds from semi-constructive proofs
- Reductive groups over a local field
- Extensional Gödel functional interpretation. A consistency proof of classical analysis
- A QUANTITATIVE VERSION OF A THEOREM DUE TO BORWEIN-REICH-SHAFRIR
- Iteration processes for nonexpansive mappings
- Krasnoselski-Mann Iterations in Normed Spaces
- A convexity in metric space and nonexpansive mappings. I.
- A characterization of convex subsets of normed spaces
- Recursive Functionals and Quantifiers of Finite Types I
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
- Nonexpansive iterations in hyperbolic spaces
- Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
- Nonexpansive Mappings, Asymptotic Regularity and Successive Approximations
- Fixed Points and Iteration of a Nonexpansive Mapping in a Banach Space
- Krasnoselskii's iteration process in hyperbolic space
- Some logical metatheorems with applications in functional analysis
- A Logical Uniform Boundedness Principle for Abstract Metric and Hyperbolic Spaces
- 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
- On the Mann Iterative Process
- Mean Value Methods in Iteration