Some Logical Metatheorems with Applications in Functional Analysis (2003)

by Ulrich Kohlenbach
Citations:44 - 17 self

Documents Related by Co-Citation

53 Applied Proof Theory: Proof Interpretations and their Use in Mathematics – U Kohlenbach - 2008
31 General logical metatheorems for functional analysis – Philipp Gerhardy, Ulrich Kohlenbach - 2008
20 Soft analysis, hard analysis, and the finite convergence principle. Essay posted May 23, 2007. Appeared in: ‘T. Tao, Structure and Randomness: Pages from Year One of a Mathematical Blog – T Tao
145 Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes – K Gödel - 1958
34 Norm convergence of multiple ergodic averages for commuting transformations – Terence Tao - 2007
20 Uniform asymptotic regularity for Mann iterates – Ulrich Kohlenbach - 2002
74 Provably recursive functionals of analysis: a consistency proof of analysis by an extension of principles in current intuitionistic mathematics – C Spector - 1962
53 Analyzing Proofs in Analysis – Ulrich Kohlenbach - 1993
36 Strongly majorizable functionals of finite type: a model for bar recursion containing discontinuous functionals – M Bezem - 1985
69 Gödel's Functional ("Dialectica") Interpretation – Jeremy Avigad, Solomon Feferman - 1998
26 Local stability of ergodic averages – Jeremy Avigad, Henry Towsner
17 Mann Iterates of Directionally Nonexpansive Mappings in Hyperbolic Spaces – Ulrich Kohlenbach, Laurentiu Leustean - 2002
8 Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces, arXiv:0707.1626v2 [math.FA – U. Kohlenbach - 2007
76 Interpretation of analysis by means of constructive functionals of finite types – G Kreisel - 1959
31 Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation – Ulrich Kohlenbach, Where U - 1993
15 Proof Mining: A Systematic Way of Analysing Proofs in Mathematics – Ulrich Kohlenbach, Paulo B. Oliva - 2002
26 On the interpretation of non-finitist proofs, part I – G Kreisel - 1951
23 Iteration processes for nonexpansive mappings – K Goebel, W A Kirk - 1983
10 Effective uniform bounds from proofs in abstract functional analysis – Ulrich Kohlenbach - 2005