Strongly uniform bounds from semi-constructive proofs (Q2498902): Difference between revisions

@@ Property / cites work @@
+Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
+Normal rank
@@ Property / cites work @@
+Extensions and fixed points of contractive maps in \(\mathbb{R}^ n\)
+Normal rank
@@ Property / cites work @@
+On Fixed and Periodic Points Under Contractive Mappings
+Normal rank
@@ Property / cites work @@
+A quantitative version of Kirk's fixed point theorem for asymptotic contractions
+Normal rank
@@ Property / cites work @@
+General logical metatheorems for functional analysis
+Normal rank
@@ Property / cites work @@
+Iteration processes for nonexpansive mappings
@@ Property / cites work: Iteration processes for nonexpansive mappings / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
+Normal rank
@@ Property / cites work @@
+Nonexpansive mappings and asymptotic regularity
@@ Property / cites work: Nonexpansive mappings and asymptotic regularity / rank @@
+Normal rank
@@ Property / cites work @@
+Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization
+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 @@
+Relative constructivity
@@ Property / cites work: Relative constructivity / 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 logical metatheorems with applications in functional analysis
+Normal rank
@@ Property / cites work @@
+Q5465197
@@ Property / cites work: Q5465197 / rank @@
+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 @@
+Q5344164
@@ Property / cites work: Q5344164 / rank @@
+Normal rank
@@ Property / cites work @@
+On weak completeness of intuitionistic predicate logic
+Normal rank
@@ Property / cites work @@
+Extensional Gödel functional interpretation. A consistency proof of classical analysis
+Normal rank
@@ Property / cites work @@
+Q5286510
@@ Property / cites work: Q5286510 / rank @@
+Normal rank
@@ Property / cites work @@
+A Note on Contractive Mappings
@@ Property / cites work: A Note on Contractive Mappings / rank @@
+Normal rank
@@ Property / cites work @@
+A Comparison of Various Definitions of Contractive Mappings
+Normal rank
@@ Property / cites work @@
+Q3032990
@@ Property / cites work: Q3032990 / rank @@
+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 @@
+Q4215635
@@ Property / cites work: Q4215635 / rank @@
+Normal rank