Some Logical Metatheorems with Applications in Functional Analysis (2003)

by Ulrich Kohlenbach
Citations:44 - 17 self

Documents Related by Co-Citation

54 Applied Proof Theory: Proof Interpretations and their Use – - 2008
31 General logical metatheorems for functional analysis – - 2008
146 Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes – - 1958
21 Soft analysis, hard analysis, and the finite convergence principle. http://terrytao.wordpress.com – - 2007
74 Provably recursive functionals of analysis: a consistency proof of analysis by an extension of principles in current intuitionistic mathematics – - 1962
34 Norm convergence of multiple ergodic averages for commuting transformations – - 2007
20 Uniform asymptotic regularity for Mann iterates – - 2002
36 Strongly majorizable functionals of finite type: a model for bar recursion containing discontinuous functionals – - 1985
53 Analyzing Proofs in Analysis – - 1993
78 Interpretation of analysis by means of constructive functionals of finite types – - 1959
69 Gödel's Functional ("Dialectica") Interpretation – - 1998
26 Local stability of ergodic averages
17 Mann Iterates of Directionally Nonexpansive Mappings in Hyperbolic Spaces – - 2002
8 Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces, arXiv:0707.1626v2 [math.FA – - 2007
31 Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation – - 1993
15 Proof Mining: A Systematic Way of Analysing Proofs in Mathematics – - 2002
26 On the interpretation of non-finitist proofs, part I – - 1951
23 Iteration processes for nonexpansive mappings – - 1983
10 Effective uniform bounds from proofs in abstract functional analysis – - 2005