General logical metatheorems for functional analysis (Q5442144): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
+Normal rank
@@ Property / cites work @@
+Krasnoselski-Mann Iterations in Normed Spaces
@@ Property / cites work: Krasnoselski-Mann Iterations in Normed Spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q4720067
@@ Property / cites work: Q4720067 / rank @@
+Normal rank
@@ Property / cites work @@
+Reductive groups over a local field
@@ Property / cites work: Reductive groups over a local field / rank @@
+Normal rank
@@ Property / cites work @@
+Q3930271
@@ Property / cites work: Q3930271 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Mann Iterative Process
@@ Property / cites work: On the Mann Iterative Process / rank @@
+Normal rank
@@ Property / cites work @@
+Nonexpansive Mappings, Asymptotic Regularity and Successive Approximations
+Normal rank
@@ Property / cites work @@
+The fixed point property for mappings admitting a center
+Normal rank
@@ Property / cites work @@
+Strongly uniform bounds from semi-constructive proofs
+Normal rank
@@ Property / cites work @@
+ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
+Normal rank
@@ Property / cites work @@
+Iteration processes for nonexpansive mappings
@@ Property / cites work: Iteration processes for nonexpansive mappings / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed Points and Iteration of a Nonexpansive Mapping in a Banach Space
+Normal rank
@@ Property / cites work @@
+Krasnoselskii's iteration process in hyperbolic space
+Normal rank
@@ Property / cites work @@
+Nonexpansive mappings and asymptotic regularity
@@ Property / cites work: Nonexpansive mappings and asymptotic regularity / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Functionals and Quantifiers of Finite Types I
+Normal rank
@@ Property / cites work @@
+A Logical Uniform Boundedness Principle for Abstract Metric and Hyperbolic Spaces
+Normal rank
@@ Property / cites work @@
+Q5384977
@@ Property / cites work: Q5384977 / rank @@
+Normal rank
@@ Property / cites work @@
+Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation
+Normal rank
@@ Property / cites work @@
+Q4218526
@@ Property / cites work: Q4218526 / rank @@
+Normal rank
@@ Property / cites work @@
+A QUANTITATIVE VERSION OF A THEOREM DUE TO BORWEIN-REICH-SHAFRIR
+Normal rank
@@ Property / cites work @@
+Q4531986
@@ Property / cites work: Q4531986 / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform asymptotic regularity for Mann iterates.
@@ Property / cites work: Uniform asymptotic regularity for Mann iterates. / rank @@
+Normal rank
@@ Property / cites work @@
+Some computational aspects of metric fixed-point theory
+Normal rank
@@ Property / cites work @@
+Some logical metatheorems with applications in functional analysis
+Normal rank
@@ Property / cites work @@
+Q5465197
@@ Property / cites work: Q5465197 / rank @@
+Normal rank
@@ Property / cites work @@
+The approximate fixed point property in product spaces
+Normal rank
@@ Property / cites work @@
+Mann iterates of directionally nonexpansive mappings in hyperbolic spaces
+Normal rank
@@ Property / cites work @@
+Q4681899
@@ Property / cites work: Q4681899 / rank @@
+Normal rank
@@ Property / cites work @@
+A quadratic rate of asymptotic regularity for CAT(0)-spaces
+Normal rank
@@ Property / cites work @@
+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
+Normal rank
@@ Property / cites work @@
+Extensional Gödel functional interpretation. A consistency proof of classical analysis
+Normal rank
@@ Property / cites work @@
+A characterization of convex subsets of normed spaces
+Normal rank
@@ Property / cites work @@
+Mean Value Methods in Iteration
@@ Property / cites work: Mean Value Methods in Iteration / rank @@
+Normal rank
@@ Property / cites work @@
+Q4678279
@@ Property / cites work: Q4678279 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonexpansive iterations in hyperbolic spaces
@@ Property / cites work: Nonexpansive iterations in hyperbolic spaces / rank @@
+Normal rank
@@ Property / cites work @@
+The approximate fixed point property in Banach and hyperbolic spaces
+Normal rank
@@ Property / cites work @@
+Q2761627
@@ Property / cites work: Q2761627 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5519134
@@ Property / cites work: Q5519134 / rank @@
+Normal rank
@@ Property / cites work @@
+A convexity in metric space and nonexpansive mappings. I.
+Normal rank