Some logical metatheorems with applications in functional analysis

DOI10.1090/S0002-9947-04-03515-9zbMath1079.03046OpenAlexW1893170605MaRDI QIDQ4819747

Ulrich Kohlenbach

Publication date: 5 October 2004

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-04-03515-9

zbMATH Keywords

hyperbolic spacesconvex analysisnonexpansive mappingsfixed-point theoryCAT(0)-spacesproof miningfunctionals of finite type

Mathematics Subject Classification ID

Fixed-point theorems (47H10) Structure of proofs (03F07) Functionals in proof theory (03F10) Second- and higher-order arithmetic and fragments (03F35)

Related Items

Investigation of some fixed point theorems in hyperbolic spaces for a three step iteration process ⋮ Bounds for a nonlinear ergodic theorem for Banach spaces ⋮ Noncyclic $\varphi$-contractions in hyperbolic uniformly convex metric spaces ⋮ Quadratic rates of asymptotic regularity for the Tikhonov–Mann iteration ⋮ 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09 ⋮ Asymptotic Behavior of Iterates of a Generic Cyclical Nonexpansive Mapping ⋮ Unnamed Item ⋮ Some results of the Picard-Krasnoselskii hybrid iterative process ⋮ Unnamed Item ⋮ Fixed point theorems for interpolative Kanann contraction mappings in Busemann space with an application to matrix equation ⋮ Unnamed Item ⋮ Mann-Dotson's algorithm for a countable family of non-self Lipschitz mappings in hyperbolic metric space ⋮ On generic convergence of successive approximations of mappings with convex and compact point images ⋮ A computational study of a class of recursive inequalities ⋮ A proof‐theoretic metatheorem for tracial von Neumann algebras ⋮ Unnamed Item ⋮ Quantitative results on Fejér monotone sequences ⋮ Fixed point theorems for interpolative Ćirić-type contraction mappings in CAT(0) space with application to hyperbolical rotation matrix ⋮ Hybrid interpolative mappings for solving fractional Navier-Stokes and functional differential equations ⋮ On a four-step iterative algorithm and its application to delay integral equations in hyperbolic spaces ⋮ Rates of convergence for the asymptotic behavior of second-order Cauchy problems ⋮ On computational properties of Cauchy problems generated by accretive operators ⋮ Rates of asymptotic regularity for the alternating Halpern-Mann iteration ⋮ Strong Convergence for the Alternating Halpern–Mann Iteration in CAT(0) Spaces ⋮ Some fixed point theorems and applications in Busemann spaces ⋮ Mixed-type SP-iteration for asymptotically nonexpansive mappings in hyperbolic spaces ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The finitary content of sunny nonexpansive retractions ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Convergence analysis of new modified iterative approximating processes for two finite families of total asymptotically nonexpansive nonself mappings in hyperbolic spaces ⋮ Convergence theorems for two finite families of some generalized nonexpansive mappings in hyperbolic spaces ⋮ Unnamed Item ⋮ On solving the minimization problem and the fixed-point problem for a finite family of non-expansive mappings in CAT(0) spaces ⋮ Jungck-type implicit iterative algorithms with numerical examples ⋮ TWO KINDS OF CONVERGENCES IN HYPERBOLIC SPACES IN THREE-STEP ITERATIVE SCHEMES ⋮ On proximal mappings with Young functions in uniformly convex Banach spaces ⋮ Unnamed Item ⋮ 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 ⋮ General logical metatheorems for functional analysis ⋮ Approximating fixed points of mappings satisfying condition (\(E\)) in Busemann space ⋮ Convergence of general algorithm for \(I\)-generalized asymptotically nonexpansive nonself-mappings in uniformly convex hyperbolic spaces ⋮ Approximating Fixed Points of Suzuki $$(\alpha ,\beta )$$-Nonexpansive Mappings in Ordered Hyperbolic Metric Spaces ⋮ PROOF MINING IN L^p SPACES ⋮ Unnamed Item ⋮ Convergence rate of implicit iteration process and a data dependence result ⋮ Common fixed point of generalized asymptotic pointwise (quasi-) nonexpansive mappings in hyperbolic spaces ⋮ Unnamed Item ⋮ Unnamed Item ⋮ BOUNDS FOR INDEXES OF NILPOTENCY IN COMMUTATIVE RING THEORY: A PROOF MINING APPROACH ⋮ Analytical and numerical aspect of coincidence point problem of quasi-contractive operators ⋮ Local stability of ergodic averages ⋮ A quantitative mean ergodic theorem for uniformly convex Banach spaces ⋮ Functional interpretation and inductive definitions ⋮ Logical aspects of rates of convergence in metric spaces ⋮ Hyperbolic spaces and directional contractions ⋮ Construction of Fixed Points of Asymptotically Nonexpansive Mappings in Uniformly Convex Hyperbolic Spaces ⋮ Unnamed Item ⋮ A Rate of Asymptotic Regularity for the Mann Iteration of κ-Strict Pseudo-Contractions ⋮ Three-step iterative algorithm for a pair of total asymptotically nonexpansive mappings in uniformly convex metric spaces ⋮ A one-step-two-mappings iterative scheme for multi-valued maps in W-hyperbolic spaces ⋮ A quantitative version of Kirk's fixed point theorem for asymptotic contractions ⋮ Uniform asymptotic regularity for Mann iterates. ⋮ Existence and higher arity iteration for total asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces ⋮ Convergence of a general algorithm of asymptotically nonexpansive maps in uniformly convex hyperbolic spaces ⋮ A proof-theoretic bound extraction theorem for \(\mathrm{CAT}(\kappa)\)-spaces ⋮ An approximate Herbrand’s theorem and definable functions in metric structures ⋮ Demiclosed principle and convergence theorems for total asymptotically nonexpansive nonself mappings in hyperbolic spaces ⋮ Fixed point approximation of asymptotically nonexpansive mappings in hyperbolic spaces ⋮ Some convergence results for modified SP-iteration scheme in hyperbolic spaces ⋮ Mixed type iterations for multivalued nonexpansive mappings in hyperbolic spaces ⋮ On the convergence of fixed points for Lipschitz type mappings in hyperbolic spaces ⋮ Fundamental notions of analysis in subsystems of second-order arithmetic ⋮ An abstract proximal point algorithm ⋮ \(\Delta\)-convergence theorems for multi-valued nonexpansive mappings in hyperbolic spaces ⋮ Continuation methods in certain metric and geodesic spaces ⋮ Fixed point approximation for asymptotically nonexpansive type mappings in uniformly convex hyperbolic spaces ⋮ Iterative approximation of attractive points of further generalized hybrid mappings in Hadamard spaces ⋮ Iterative approximation of fixed points of a general class of non-expansive mappings in hyperbolic metric spaces ⋮ Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces ⋮ Comparison rate of convergence and data dependence for a new iteration method ⋮ A quadratic rate of asymptotic regularity for CAT(0)-spaces ⋮ Effective results on a fixed point algorithm for families of nonlinear mappings ⋮ Mathematical method and proof ⋮ Firmly nonexpansive mappings in classes of geodesic spaces ⋮ Continuous dependence for two implicit Kirk-type algorithms in general hyperbolic spaces ⋮ Convergence of generalized quasi-nonexpansive mappings in hyperbolic space ⋮ Fixed point theorems for monotone orbitally nonexpansive type mappings in partially ordered hyperbolic metric spaces ⋮ The approximate fixed point property in product spaces ⋮ A one-step implicit iterative process for a finite family of \(I\)-nonexpansive mappings in Kohlenbach hyperbolic spaces ⋮ Fixed point approximation of Picard normal \(S\)-iteration process for generalized nonexpansive mappings in hyperbolic spaces ⋮ Existence and convergence of fixed points for mappings of asymptotically nonexpansive type in uniformly convex W-hyperbolic spaces ⋮ A rate of convergence for asymptotic contractions ⋮ \(\Delta\)-convergence analysis of improved Kuhfittig iterative for asymptotically nonexpansive nonself-mappings in \(W\)-hyperbolic spaces ⋮ An implicit algorithm for two finite families of nonexpansive maps in hyperbolic spaces ⋮ On the computational content of convergence proofs via Banach limits ⋮ Effective metastability for modified Halpern iterations in CAT(0) spaces ⋮ Approximating fixed points of enriched nonexpansive mappings in geodesic spaces ⋮ Fluctuations, effective learnability and metastability in analysis ⋮ Fixed point theorems for generalized nonexpansive mappings in hyperbolic 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 ⋮ Mixed type iteration for total asymptotically nonexpansive mappings in hyperbolic spaces ⋮ A study on fixed point theorems for a class of generalized nonexpansive mappings in Hadamard spaces ⋮ On quantitative versions of theorems due to F. E. Browder and R. Wittmann ⋮ A quantitative nonlinear strong ergodic theorem for Hilbert spaces ⋮ Approximating fixed points of Reich-Suzuki type nonexpansive mappings in hyperbolic spaces ⋮ Relatively nonexpansive mappings in Kohlenbach hyperbolic spaces ⋮ Iterative approaches for solving equilibrium problems, zero point problems and fixed point problems in Hadamard spaces ⋮ Fixed point results of a general class of monotone nonexpansive mappings in hyperbolic metric spaces ⋮ Logical metatheorems for abstract spaces axiomatized in positive bounded logic ⋮ Porosity results for sets of strict contractions on geodesic metric spaces ⋮ On modified Halpern and Tikhonov-Mann iterations ⋮ Effective results on nonlinear ergodic averages in CAT spaces ⋮ Gödel functional interpretation and weak compactness ⋮ Bounds on Kuhfittig's iteration schema in uniformly convex hyperbolic spaces ⋮ Existence and approximation results for SKC mappings in Busemann spaces ⋮ Intuitionistic fixed point logic ⋮ Fixed point approximation of nonexpansive mappings on a nonlinear domain ⋮ A new result on tricyclic mappings ⋮ 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 ⋮ On a new faster implicit fixed point iterative scheme in convex metric spaces ⋮ Convergence theorems of a modified iteration process for generalized nonexpansive mappings in hyperbolic spaces ⋮ Fixed point approximation of monotone nonexpansive mappings in hyperbolic spaces ⋮ 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 ⋮ On the quantitative asymptotic behavior of strongly nonexpansive mappings in Banach and geodesic spaces ⋮ Fixed point approximation of generalized nonexpansive mappings in hyperbolic spaces ⋮ Locally nonexpansive mappings in geodesic and length spaces ⋮ \(\triangle\)-convergence for mixed-type total asymptotically nonexpansive mappings in hyperbolic spaces ⋮ Effective results on compositions of nonexpansive mappings ⋮ Bounded functional interpretation ⋮ Common fixed points of two multivalued nonexpansive maps in Kohlenbach hyperbolic spaces ⋮ Metric fixed point theory for nonexpansive mappings defined on unbounded sets ⋮ Approximating common fixed points in hyperbolic spaces ⋮ Effective rates of convergence for Lipschitzian pseudocontractive mappings in general Banach spaces ⋮ Convergence analysis of a multi-step iteration for a finite family of asymptotically quasi-nonexpansive mappings ⋮ 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 ⋮ Quantitative results on a Halpern-type proximal point algorithm ⋮ Fixed point results for a class of monotone nonexpansive type mappings in hyperbolic spaces ⋮ Some convergence results for multi-valued mappings in hyperbolic spaces ⋮ Convergence theorems for total asymptotically nonexpansive single-valued and quasi nonexpansive multi-valued mappings in hyperbolic spaces ⋮ On analytical and numerical study of implicit fixed point iterations ⋮ Quantitative translations for viscosity approximation methods in hyperbolic spaces ⋮ Strong and \(\varDelta\)-convergence of Ishikawa iterates of mixed type nonexpansive mappings in hyperbolic spaces ⋮ 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 ⋮ Fixed-point approximations of generalized nonexpansive mappings via generalized M-iteration process in hyperbolic spaces ⋮ A fixed-point theorem for monotone nearly asymptotically nonexpansive mappings ⋮ Convergence and stability of Fibonacci-Mann iteration for a monotone non-Lipschitzian mapping ⋮ Convergence, weak \(w^2\) stability, and data dependence results for the \(F\) iterative scheme in hyperbolic spaces ⋮ Light Dialectica Program Extraction from a Classical Fibonacci Proof ⋮ Stability results for enriched contraction mappings in convex metric spaces ⋮ Some new fixed point theorems for nonexpansive-type mappings in geodesic spaces ⋮ Fixed point approximation for \(SKC\)-mappings in hyperbolic spaces

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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
• Pointwise hereditary majorization and some applications
• Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals
• Nonexpansive mappings and asymptotic regularity
• Mann iterates of directionally nonexpansive mappings in hyperbolic spaces
• Proof mining in \(L_{1}\)-approximation
• Uniform asymptotic regularity for Mann iterates.
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• A note on segmenting Mann iterates
• 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
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• Spielquantorinterpretation unstetiger Funktionale der höheren Analysis
• Nonexpansive iterations in hyperbolic spaces
• Approximate fixed points for nonexpansive mappings in uniformly convex spaces
• Gödelsche Funktionalinterpretation für Eine Erweiterung der Klassischen Analysis
• Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
• Herbrand-Analysen zweier Beweise des Satzes von Roth: Polynomiale Anzahlschranken
• Nonexpansive Mappings, Asymptotic Regularity and Successive Approximations
• Fixed Points and Iteration of a Nonexpansive Mapping in a Banach Space
• Some fixed point theorems in metric spaces
• New effective moduli of uniqueness and uniform a priori estimates for constants of strong unicity by logical analysis of known proofs in best approximation theory
• Krasnoselskii's iteration process in hyperbolic space
• The solution by iteration of linear functional equations in Banach spaces
• Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis
• Mean Value Methods in Iteration
• A note on Spector's quantifier-free rule of extensionality