Some logical metatheorems with applications in functional analysis (Q4819747): Difference between revisions

@@ Property / cites work @@
+Q3679172
@@ Property / cites work: Q3679172 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3035275
@@ Property / cites work: Q3035275 / 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 @@
+The solution by iteration of linear functional equations in Banach spaces
+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 @@
+Q4365300
@@ Property / cites work: Q4365300 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonexpansive Mappings, Asymptotic Regularity and Successive Approximations
+Normal rank
@@ Property / cites work @@
+Spielquantorinterpretation unstetiger Funktionale der höheren Analysis
+Normal rank
@@ Property / cites work @@
+Gödelsche Funktionalinterpretation für Eine Erweiterung der Klassischen 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 @@
+Q3322631
@@ Property / cites work: Q3322631 / rank @@
+Normal rank
@@ Property / cites work @@
+ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
+Normal rank
@@ Property / cites work @@
+A note on segmenting Mann iterates
@@ Property / cites work: A note on segmenting Mann iterates / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411217
@@ Property / cites work: Q4411217 / rank @@
+Normal rank
@@ Property / cites work @@
+Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis
+Normal rank
@@ Property / cites work @@
+Fixed Points and Iteration of a Nonexpansive Mapping in a Banach Space
+Normal rank
@@ Property / cites work @@
+Some fixed point theorems in metric spaces
@@ Property / cites work: Some fixed point theorems in metric spaces / rank @@
+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 @@
+Q4462019
@@ Property / cites work: Q4462019 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximate fixed points for nonexpansive mappings in uniformly convex spaces
+Normal rank
@@ Property / cites work @@
+Q4002004
@@ Property / cites work: Q4002004 / rank @@
+Normal rank
@@ Property / cites work @@
+Pointwise hereditary majorization and some applications
+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 @@
+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
+Normal rank
@@ Property / cites work @@
+Q3837732
@@ Property / cites work: Q3837732 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals
+Normal rank
@@ Property / cites work @@
+Q4218526
@@ Property / cites work: Q4218526 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on Spector's quantifier-free rule of extensionality
+Normal rank
@@ Property / cites work @@
+Q4531986
@@ Property / cites work: Q4531986 / rank @@
+Normal rank
@@ Property / cites work @@
+A QUANTITATIVE VERSION OF A THEOREM DUE TO BORWEIN-REICH-SHAFRIR
+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 @@
+Mann iterates of directionally nonexpansive mappings in hyperbolic spaces
+Normal rank
@@ Property / cites work @@
+Proof mining in \(L_{1}\)-approximation
@@ Property / cites work: Proof mining in \(L_{1}\)-approximation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4681899
@@ Property / cites work: Q4681899 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3671969
@@ Property / cites work: Q3671969 / rank @@
+Normal rank
@@ Property / cites work @@
+Extensional Gödel functional interpretation. A consistency proof of classical analysis
+Normal rank
@@ Property / cites work @@
+Herbrand-Analysen zweier Beweise des Satzes von Roth: Polynomiale Anzahlschranken
+Normal rank
@@ Property / cites work @@
+Q4397035
@@ Property / cites work: Q4397035 / rank @@
+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 @@
+Nonexpansive iterations in hyperbolic spaces
@@ Property / cites work: Nonexpansive iterations in hyperbolic spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q2761641
@@ Property / cites work: Q2761641 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4220572
@@ Property / cites work: Q4220572 / 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
@@ 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 @@
+Q3873024
@@ Property / cites work: Q3873024 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1090/s0002-9947-04-03515-9
+Normal rank
@@ Property / OpenAlex ID @@
+W1893170605
@@ Property / OpenAlex ID: W1893170605 / rank @@
+Normal rank