The finitary content of sunny nonexpansive retractions
From MaRDI portal
Publication:5129245
DOI10.1142/S0219199719500937OpenAlexW2994371854WikidataQ126623363 ScholiaQ126623363MaRDI QIDQ5129245FDOQ5129245
Authors: Ulrich Kohlenbach, Andrei Sipoş 
Publication date: 26 October 2020
Published in: Communications in Contemporary Mathematics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1812.04940
Recommendations
- An explicit construction of sunny nonexpansive retractions in Banach spaces
- Implicit and explicit constructions of sunny nonexpansive retractions in Banach spaces
- scientific article; zbMATH DE number 1553793
- scientific article; zbMATH DE number 5030210
- Construction of sunny nonexpansive retractions in Banach spaces
- Nonexpansive retractions in hyperconvex spaces
- A viscosity approximation method for weakly relatively nonexpansive mappings by the sunny nonexpansive retractions in Banach spaces
- Nonexpansive retractions and fixed point properties
- Nonexpansive retractions in Hilbert spaces
- The existence of nonexpansive retractions in Banach spaces
metastabilityHalpern iterationuniformly convex Banach spacesproof miningresolventsfunctional interpretationuniformly smooth Banach spacessunny nonexpansive retractionspseudocontractionsBruck iteration
Nonlinear accretive operators, dissipative operators, etc. (47H06) Contraction-type mappings, nonexpansive mappings, (A)-proper mappings, etc. (47H09) Fixed-point theorems (47H10) Functionals in proof theory (03F10)
Cites Work
- Strong convergence theorems for resolvents of accretive operators in Banach spaces
- Characteristic inequalities of uniformly convex and uniformly smooth Banach spaces
- Construction of fixed points of nonlinear mappings in Hilbert space
- Title not available (Why is that?)
- Inequalities in Banach spaces with applications
- Fixed points of nonexpanding maps
- Nonlinear mappings of nonexpansive and accretive type in Banach spaces
- Title not available (Why is that?)
- Properties of Fixed-Point Sets of Nonexpansive Mappings in Banach Spaces
- On Reich's strong convergence theorems for resolvents of accretive operators
- Approximation of fixed points of nonexpansive mappings
- An example concerning fixed points
- A strongly convergent iterative solution of \(0 \in U(x)\) for a maximal monotone operator U in Hilbert space
- Nonexpansive projections on subsets of Banach spaces
- An explicit construction of sunny nonexpansive retractions in Banach spaces
- Construction of sunny nonexpansive retractions in Banach spaces
- Title not available (Why is that?)
- Title not available (Why is that?)
- Some logical metatheorems with applications in functional analysis
- The construction of an asymptotic center with a fixed-point property
- On the interpretation of non-finitist proofs–Part II
- Strong convergence of approximated sequences for nonexpansive mappings in Banach spaces
- Classes of Semi-Inner-Product Spaces
- Product formulas, nonlinear semigroups, and accretive operators
- Convergence of approximants to fixed points of nonexpansive nonlinear mappings in Banach spaces
- Approximate fixed point sequences and convergence theorems for Lipschitz pseudocontractive maps
- General logical metatheorems for functional analysis
- Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
- Title not available (Why is that?)
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- A characterization of strict convexity of Banach spaces and other uses of duality mappings
- Nonexpansive retracts of Banach spaces
- On uniformly convex functions
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
- Differential Equations on Closed Subsets of a Banach Space
- Norm convergence of multiple ergodic averages for commuting transformations
- Uniform convexity in factor and conjugate spaces
- Addendum to: ``Effective metastability of Halpern iterates in CAT(0) spaces
- On the computational content of convergence proofs via Banach limits
- Structure and randomness. Pages from year one of a mathematical blog
- On the Interpretation of Non-Finitist Proofs--Part I
- On quantitative versions of theorems due to F. E. Browder and R. Wittmann
- Fluctuations, effective learnability and metastability in analysis
- Bounded functional interpretation
- Title not available (Why is that?)
- On n-quantifier induction
- Rate of metastability for Bruck's iteration of pseudocontractive mappings in Hilbert space
- Logical metatheorems for abstract spaces axiomatized in positive bounded logic
- Title not available (Why is that?)
- Effective results on nonlinear ergodic averages in \(\text{CAT}(\kappa)\) spaces
- Title not available (Why is that?)
- Title not available (Why is that?)
- Approximation of zeros of accretive operators in a Banach space
- Title not available (Why is that?)
- A Characterization of Hilbert Space
- On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness
- On proximal mappings with Young functions in uniformly convex Banach spaces
- PROOF-THEORETIC METHODS IN NONLINEAR ANALYSIS
- Computational problems in metric fixed point theory and their Weihrauch degrees
- Implicit and explicit constructions of sunny nonexpansive retractions in Banach spaces
- Things that can and things that cannot be done in PRA
- On the removal of weak compactness arguments in proof mining
- Quantitative analysis of a Halpern-type proximal point algorithm for accretive operators in Banach spaces
- Quantitative results for Halpern iterations of nonexpansive mappings
- Stability Inequalities for Semimonotonically Perturbed Nonhomogeneous Boundary Problems
- Strong and weak convergence theorems for locally nonexpansive mappings in Banach spaces
Cited In (13)
- Bounds for a nonlinear ergodic theorem for Banach spaces
- Abstract strongly convergent variants of the proximal point algorithm
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)
- Nonexpansive maps in nonlinear smooth spaces
- Title not available (Why is that?)
- Quantitative results on a Halpern-type proximal point algorithm
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 12--17, 2023
- On quantitative metastability for accretive operators
- Metastability of the proximal point algorithm with multi-parameters
- Quantitative translations for viscosity approximation methods in hyperbolic spaces
- Rates of convergence for asymptotically weakly contractive mappings in normed spaces
- Revisiting jointly firmly nonexpansive families of mappings
- Rates of Convergence and Metastability for Chidume’s Algorithm for the Approximation of Zeros of Accretive Operators in Banach Spaces
This page was built for publication: The finitary content of sunny nonexpansive retractions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5129245)
