General logical metatheorems for functional analysis

DOI10.1090/S0002-9947-07-04429-7zbMath1130.03036MaRDI QIDQ5442144

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 analysis; effective bounds; metric fixed point theory; proof-theoretic analysis; local boundedness conditions; uniformity of bounds

Mathematics Subject Classification ID

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 L^p 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