On the computational content of convergence proofs via Banach limits (Q2941598): Difference between revisions

@@ Property / cites work @@
+Alan Turing and the Foundations of Computable Analysis
+Normal rank
@@ Property / cites work @@
+Some logical metatheorems with applications in functional analysis
+Normal rank
@@ Property / cites work @@
+General logical metatheorems for functional analysis
+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 @@
+Norm convergence of multiple ergodic averages for commuting transformations
+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 @@
+Logical aspects of rates of convergence in metric spaces
+Normal rank
@@ Property / cites work @@
+On the Interpretation of Non-Finitist Proofs--Part I
+Normal rank
@@ Property / cites work @@
+On the interpretation of non-finitist proofs–Part II
+Normal rank
@@ Property / cites work @@
+On quantitative versions of theorems due to F. E. Browder and R. Wittmann
+Normal rank
@@ Property / cites work @@
+Approximation of fixed points of nonexpansive mappings
+Normal rank
@@ Property / cites work @@
+Local stability of ergodic averages
@@ Property / cites work: Local stability of ergodic averages / rank @@
+Normal rank
@@ Property / cites work @@
+A quantitative mean ergodic theorem for uniformly convex Banach spaces
+Normal rank
@@ Property / cites work @@
+Halpern's iteration in CAT(0) spaces
@@ Property / cites work: Halpern's iteration in CAT(0) spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q3954401
@@ Property / cites work: Q3954401 / rank @@
+Normal rank
@@ Property / cites work @@
+Convergence of approximants to fixed points of nonexpansive nonlinear mappings in Banach spaces
+Normal rank
@@ Property / cites work @@
+Fixed points of nonexpanding maps
@@ Property / cites work: Fixed points of nonexpanding maps / rank @@
+Normal rank
@@ Property / cites work @@
+Approximating fixed points of holomorphic mappings in the Hilbert ball
+Normal rank
@@ Property / cites work @@
+Strong convergence theorems for resolvents of accretive operators in Banach spaces
+Normal rank
@@ Property / cites work @@
+Strongly uniform bounds from semi-constructive proofs
+Normal rank
@@ Property / cites work @@
+Q4881791
@@ Property / cites work: Q4881791 / rank @@
+Normal rank