Some logical metatheorems with applications in functional analysis
From MaRDI portal
Recommendations
Cites work
- A characterization of convex subsets of normed spaces
- A convexity in metric space and nonexpansive mappings. I.
- A note on segmenting Mann iterates
- A note on Spector's quantifier-free rule of extensionality
- A QUANTITATIVE VERSION OF A THEOREM DUE TO BORWEIN-REICH-SHAFRIR
- Approximate fixed points for nonexpansive mappings in uniformly convex spaces
- Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation
- Extensional Gödel functional interpretation. A consistency proof of classical analysis
- Fixed Points and Iteration of a Nonexpansive Mapping in a Banach Space
- Generic aspects of metric fixed point theory
- Gödelsche Funktionalinterpretation für Eine Erweiterung der Klassischen Analysis
- Herbrand-Analysen zweier Beweise des Satzes von Roth: Polynomiale Anzahlschranken
- scientific article; zbMATH DE number 4134034 (Why is no real title available?)
- scientific article; zbMATH DE number 3853749 (Why is no real title available?)
- scientific article; zbMATH DE number 3825797 (Why is no real title available?)
- scientific article; zbMATH DE number 3900744 (Why is no real title available?)
- scientific article; zbMATH DE number 956475 (Why is no real title available?)
- scientific article; zbMATH DE number 3676608 (Why is no real title available?)
- scientific article; zbMATH DE number 51623 (Why is no real title available?)
- scientific article; zbMATH DE number 1222925 (Why is no real title available?)
- scientific article; zbMATH DE number 1226875 (Why is no real title available?)
- scientific article; zbMATH DE number 1082910 (Why is no real title available?)
- scientific article; zbMATH DE number 1169383 (Why is no real title available?)
- scientific article; zbMATH DE number 1946951 (Why is no real title available?)
- scientific article; zbMATH DE number 2064538 (Why is no real title available?)
- scientific article; zbMATH DE number 1746038 (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 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
- Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals
- Mean Value Methods in Iteration
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- 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
- Nonexpansive iterations in hyperbolic spaces
- Nonexpansive mappings and asymptotic regularity
- Nonexpansive Mappings, Asymptotic Regularity and Successive Approximations
- Pointwise hereditary majorization and some applications
- Proof mining in \(L_{1}\)-approximation
- Reductive groups over a local field
- Some fixed point theorems in metric spaces
- Spielquantorinterpretation unstetiger Funktionale der höheren Analysis
- Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
- 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
- Uniform asymptotic regularity for Mann iterates.
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
Cited in
(only showing first 100 items - show all)- An abstract proximal point algorithm
- Continuous dependence for two implicit Kirk-type algorithms in general hyperbolic spaces
- Fixed point theorems for generalized nonexpansive mappings in hyperbolic spaces
- Porosity results for sets of strict contractions on geodesic metric spaces
- Existence and approximation results for SKC mappings in Busemann spaces
- Fixed point approximation of nonexpansive mappings on a nonlinear domain
- A polynomial rate of asymptotic regularity for compositions of projections in Hilbert space
- Fixed point approximation of generalized nonexpansive mappings in hyperbolic spaces
- Some computational aspects of metric fixed-point theory
- Some convergence results for multi-valued mappings in hyperbolic spaces
- Uniform asymptotic regularity for Mann iterates.
- Fixed point approximation of monotone nonexpansive mappings in hyperbolic spaces
- Convergence analysis of a multi-step iteration for a finite family of asymptotically quasi-nonexpansive mappings
- Quantitative results on a Halpern-type proximal point algorithm
- Convergence theorems for total asymptotically nonexpansive single-valued and quasi nonexpansive multi-valued mappings in hyperbolic spaces
- Quantitative translations for viscosity approximation methods in hyperbolic spaces
- Strong and \(\varDelta\)-convergence of Ishikawa iterates of mixed type nonexpansive mappings in hyperbolic spaces
- Convergence, weak \(w^2\) stability, and data dependence results for the \(F\) iterative scheme in hyperbolic spaces
- Stability results for enriched contraction mappings in convex metric spaces
- Some new fixed point theorems for nonexpansive-type mappings in geodesic spaces
- Iterative approximation of fixed points of a general class of non-expansive mappings in hyperbolic metric spaces
- Comparison rate of convergence and data dependence for a new iteration method
- Convergence of generalized quasi-nonexpansive mappings in hyperbolic space
- Fixed point theorems for monotone orbitally nonexpansive type mappings in partially ordered hyperbolic metric spaces
- A study on fixed point theorems for a class of generalized nonexpansive mappings in Hadamard spaces
- Approximating fixed points of Reich-Suzuki type nonexpansive mappings in hyperbolic spaces
- Fixed point results of a general class of monotone nonexpansive mappings in hyperbolic metric spaces
- Intuitionistic fixed point logic
- A new result on tricyclic mappings
- Convergence theorems of a modified iteration process for generalized nonexpansive mappings in hyperbolic spaces
- Proof-theoretic uniform boundedness and bounded collection principles and countable Heine-Borel compactness
- The abstract type of the real numbers
- Locally nonexpansive mappings in geodesic and length spaces
- -convergence for mixed-type total asymptotically nonexpansive mappings in hyperbolic spaces
- Effective results on compositions of nonexpansive mappings
- 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
- 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 fixed-point theorem for monotone nearly asymptotically nonexpansive mappings
- Convergence and stability of Fibonacci-Mann iteration for a monotone non-Lipschitzian mapping
- A proof-theoretic bound extraction theorem for \(\mathrm{CAT}(\kappa)\)-spaces
- Fundamental notions of analysis in subsystems of second-order arithmetic
- 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
- \(\Delta\)-convergence analysis of improved Kuhfittig iterative for asymptotically nonexpansive nonself-mappings in \(W\)-hyperbolic spaces
- Bounds on Kuhfittig's iteration schema in uniformly convex hyperbolic spaces
- Quantitative image recovery theorems
- An application of proof mining to nonlinear iterations
- Bounded functional interpretation
- Strongly uniform bounds from semi-constructive proofs
- Fixed point approximation for \(SKC\)-mappings in hyperbolic spaces
- Iterative approximation of attractive points of further generalized hybrid mappings in Hadamard spaces
- Approximating fixed points of enriched nonexpansive mappings in geodesic spaces
- Relatively nonexpansive mappings in Kohlenbach hyperbolic spaces
- Iterative approaches for solving equilibrium problems, zero point problems and fixed point problems in Hadamard spaces
- On modified Halpern and Tikhonov-Mann iterations
- 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
- On analytical and numerical study of implicit fixed point iterations
- Demiclosed principle and convergence theorems for total asymptotically nonexpansive nonself mappings in hyperbolic spaces
- Light Dialectica program extraction from a classical Fibonacci proof
- 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
- An approximate Herbrand's theorem and definable functions in metric structures
- On the computational content of convergence proofs via Banach limits
- Effective results on nonlinear ergodic averages in \(\text{CAT}(\kappa)\) spaces
- -convergence theorems for multi-valued nonexpansive mappings in hyperbolic spaces
- On the logical analysis of proofs based on nonseparable Hilbert space theory
- Continuation methods in certain metric and geodesic spaces
- Fixed point approximation for asymptotically nonexpansive type mappings in uniformly convex hyperbolic spaces
- Firmly nonexpansive mappings in classes of geodesic spaces
- 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
- The convergence theorem for a square -nonexpansive mapping in a hyperbolic space
- Local stability of ergodic averages
- Existence and convergence of fixed points for mappings of asymptotically nonexpansive type in uniformly convex W-hyperbolic spaces
- A quantitative mean ergodic theorem for uniformly convex Banach spaces
- Functional interpretation and inductive definitions
- Logical aspects of rates of convergence in metric spaces
- An implicit algorithm for two finite families of nonexpansive maps in hyperbolic spaces
- Effective metastability for modified Halpern iterations in CAT(0) spaces
- Fluctuations, effective learnability and metastability in analysis
- Convergence analysis of a general iteration schema of nonlinear mappings in hyperbolic spaces
- Mixed type iteration for total asymptotically nonexpansive mappings in hyperbolic spaces
- A quantitative nonlinear strong ergodic theorem for Hilbert spaces
- scientific article; zbMATH DE number 2015288 (Why is no real title available?)
- Gödel functional interpretation and weak compactness
- On proximal mappings with Young functions in uniformly convex Banach spaces
- scientific article; zbMATH DE number 6921372 (Why is no real title available?)
- Quantitative results on Fejér monotone sequences
- Some results of the new iterative scheme in hyperbolic space
- Convergence rate of implicit iteration process and a data dependence result
- 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
- On solving the minimization problem and the fixed-point problem for a finite family of non-expansive mappings in CAT(0) spaces
- scientific article; zbMATH DE number 753780 (Why is no real title available?)
This page was built for publication: Some logical metatheorems with applications in functional analysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4819747)
