General logical metatheorems for functional analysis
From MaRDI portal
Recommendations
- Some logical metatheorems with applications in functional analysis
- Strongly uniform bounds from semi-constructive proofs
- New Computational Paradigms
- A proof-theoretic bound extraction theorem for \(\mathrm{CAT}(\kappa)\)-spaces
- Logical metatheorems for abstract spaces axiomatized in positive bounded logic
Cites work
- A characterization of convex subsets of normed spaces
- A convexity in metric space and nonexpansive mappings. I.
- A logical uniform boundedness principle for abstract metric and hyperbolic spaces
- A quadratic rate of asymptotic regularity for CAT(0)-spaces
- A QUANTITATIVE VERSION OF A THEOREM DUE TO BORWEIN-REICH-SHAFRIR
- Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation
- Examples of fixed point free mappings
- Extensional Gödel functional interpretation. A consistency proof of classical analysis
- Fixed Points and Iteration of a Nonexpansive Mapping in a Banach Space
- scientific article; zbMATH DE number 3743945 (Why is no real title available?)
- scientific article; zbMATH DE number 1222925 (Why is no real title available?)
- scientific article; zbMATH DE number 1746038 (Why is no real title available?)
- scientific article; zbMATH DE number 2170784 (Why is no real title available?)
- scientific article; zbMATH DE number 2174396 (Why is no real title available?)
- scientific article; zbMATH DE number 1385418 (Why is no real title available?)
- scientific article; zbMATH DE number 5269063 (Why is no real title available?)
- scientific article; zbMATH DE number 2196360 (Why is no real title available?)
- scientific article; zbMATH DE number 3231083 (Why is no real title available?)
- Iteration processes for nonexpansive mappings
- Krasnoselski-Mann Iterations in Normed Spaces
- Krasnoselskii's iteration process in hyperbolic space
- Mann iterates of directionally nonexpansive mappings in hyperbolic spaces
- Mean Value Methods in Iteration
- Nonexpansive iterations in hyperbolic spaces
- Nonexpansive mappings and asymptotic regularity
- Nonexpansive Mappings, Asymptotic Regularity and Successive Approximations
- On the Mann Iterative Process
- Proof mining in \(\mathbb{R}\)-trees and hyperbolic spaces
- Recursive Functionals and Quantifiers of Finite Types I
- Reductive groups over a local field
- Some computational aspects of metric fixed-point theory
- Some logical metatheorems with applications in functional analysis
- Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
- Strongly uniform bounds from semi-constructive proofs
- The approximate fixed point property in Banach and hyperbolic spaces
- The approximate fixed point property in product spaces
- The fixed point property for mappings admitting a center
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
- Uniform asymptotic regularity for Mann iterates.
Cited in
(58)- 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
- Effective results on a fixed point algorithm for families of nonlinear mappings
- Local stability of ergodic averages
- A quantitative mean ergodic theorem for uniformly convex Banach spaces
- 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
- Quantitative results on Fejér monotone sequences
- An inverse Ackermannian lower bound on the local unconditionality constant of the James space
- scientific article; zbMATH DE number 753780 (Why is no real title available?)
- Some logical metatheorems with applications in functional analysis
- A logical uniform boundedness principle for abstract metric and hyperbolic spaces
- Proof mining in \(\mathbb{R}\)-trees and hyperbolic spaces
- Effective asymptotic regularity for one-parameter nonexpansive semigroups
- The finitary content of sunny nonexpansive retractions
- PROOF MINING IN Lp SPACES
- Oscillation and the mean ergodic theorem for uniformly convex Banach spaces
- On the asymptotic behavior of odd operators
- Effective rates of convergence for Lipschitzian pseudocontractive mappings in general Banach spaces
- New Computational Paradigms
- A proof‐theoretic metatheorem for tracial von Neumann algebras
- Rates of convergence for the asymptotic behavior of second-order Cauchy problems
- On computational properties of Cauchy problems generated by accretive operators
- Quantitative results on algorithms for zeros of differences of monotone operators in Hilbert space
- On quantitative versions of theorems due to F. E. Browder and R. Wittmann
- Proof mining for the dual of a Banach space with extensions for uniformly Fréchet differentiable functions
- On the proximal point algorithm for strongly quasiconvex functions in Hadamard spaces
- Proof mining and probability theory
- Generalized Fejér monotone sequences and their finitary content
- Proof mining and the convex feasibility problem: the curious case of Dykstra's algorithm
- Asymptotic regularity results for a viscosity version of Halpern-type iterations
- On logical aspects of extensionality and continuity for set-valued operators with applications to nonlinear analysis
- On quantitative convergence for stochastic processes: crossings, fluctuations and martingales
- A finitary Kronecker's lemma and large deviations in the strong law of large numbers on Banach spaces
- A proof-theoretic metatheorem for nonlinear semigroups generated by an accretive operator and applications
- Linear rates of asymptotic regularity for Halpern-type iterations
- 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
This page was built for publication: General logical metatheorems for functional analysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5442144)
