General logical metatheorems for functional analysis

DOI10.1090/S0002-9947-07-04429-7zbMath1130.03036OpenAlexW2037221615MaRDI 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

zbMATH Keywords

nonlinear functional analysiseffective boundsmetric fixed point theoryproof-theoretic analysislocal boundedness conditionsuniformity of bounds

Mathematics Subject Classification ID

Fixed-point theorems (47H10) Contraction-type mappings, nonexpansive mappings, (A)-proper mappings, etc. (47H09) Functionals in proof theory (03F10) Second- and higher-order arithmetic and fragments (03F35)

Related Items (43)

A proof-theoretic bound extraction theorem for \(\mathrm{CAT}(\kappa)\)-spaces ⋮ An abstract proximal point algorithm ⋮ Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces ⋮ Effective results on a fixed point algorithm for families of nonlinear mappings ⋮ The approximate fixed point property in product spaces ⋮ On the computational content of convergence proofs via Banach limits ⋮ Effective metastability for modified Halpern iterations in CAT(0) spaces ⋮ Convergence analysis of a general iteration schema of nonlinear mappings in hyperbolic spaces ⋮ A UNIFORM QUANTITATIVE FORM OF SEQUENTIAL WEAK COMPACTNESS AND BAILLON'S NONLINEAR ERGODIC THEOREM ⋮ A proof‐theoretic metatheorem for tracial von Neumann algebras ⋮ On quantitative versions of theorems due to F. E. Browder and R. Wittmann ⋮ Quantitative results on Fejér monotone sequences ⋮ A quantitative nonlinear strong ergodic theorem for Hilbert spaces ⋮ Rates of convergence for the asymptotic behavior of second-order Cauchy problems ⋮ On computational properties of Cauchy problems generated by accretive operators ⋮ Logical metatheorems for abstract spaces axiomatized in positive bounded logic ⋮ Gödel functional interpretation and weak compactness ⋮ Bounds on Kuhfittig's iteration schema in uniformly convex hyperbolic spaces ⋮ The finitary content of sunny nonexpansive retractions ⋮ Unnamed Item ⋮ Intuitionistic fixed point logic ⋮ Quantitative image recovery theorems ⋮ A polynomial rate of asymptotic regularity for compositions of projections in Hilbert space ⋮ An application of proof mining to nonlinear iterations ⋮ Effective asymptotic regularity for one-parameter nonexpansive semigroups ⋮ Proof-theoretic uniform boundedness and bounded collection principles and countable Heine-Borel compactness ⋮ The abstract type of the real numbers ⋮ 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 asymptotic behavior of odd operators ⋮ Effective rates of convergence for Lipschitzian pseudocontractive mappings in general Banach spaces ⋮ Some computational aspects of metric fixed-point theory ⋮ A functional interpretation for nonstandard arithmetic ⋮ Effective metastability of Halpern iterates in \(CAT(0)\) spaces ⋮ Strongly uniform bounds from semi-constructive proofs ⋮ PROOF MINING IN L^p SPACES ⋮ The metamathematics of ergodic theory ⋮ Local stability of ergodic averages ⋮ A quantitative mean ergodic theorem for uniformly convex Banach spaces ⋮ A new metastable convergence criterion and an application in the theory of uniformly convex Banach spaces ⋮ A note on the monotone functional interpretation ⋮ On the removal of weak compactness arguments in proof mining ⋮ Oscillation and the 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

This page was built for publication: General logical metatheorems for functional analysis