General logical metatheorems for functional analysis (2008)

by Philipp Gerhardy , Ulrich Kohlenbach
Citations:30 - 19 self

Documents Related by Co-Citation

44 Some Logical Metatheorems with Applications in Functional Analysis – Ulrich Kohlenbach - 2003
54 Applied Proof Theory: Proof Interpretations and their Use – U Kohlenbach - 2008
21 Soft analysis, hard analysis, and the finite convergence principle. http://terrytao.wordpress.com – Terence Tao - 2007
53 Analyzing Proofs in Analysis – Ulrich Kohlenbach - 1993
34 Norm convergence of multiple ergodic averages for commuting transformations – Terence Tao - 2007
146 Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes – K Gödel - 1958
26 Local stability of ergodic averages – Jeremy Avigad, Henry Towsner
10 Effective uniform bounds from proofs in abstract functional analysis – Ulrich Kohlenbach - 2005
8 Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces, arXiv:0707.1626v2 [math.FA – U. Kohlenbach - 2007
26 On the interpretation of non-finitist proofs, part I – G Kreisel - 1951
74 Provably recursive functionals of analysis: a consistency proof of analysis by an extension of principles in current intuitionistic mathematics – C Spector - 1962
198 Subsystems of second order arithmetic – S G Simpson - 1999
20 Uniform asymptotic regularity for Mann iterates – Ulrich Kohlenbach - 2002
32 I.: Krasnoselski-Mann iterations in normed spaces – J M Borwein, S Reich, Shafrir - 1992
36 Strongly majorizable functionals of finite type: a model for bar recursion containing discontinuous functionals – M Bezem - 1985
18 On the No-Counterexample Interpretation – Ulrich Kohlenbach - 1997
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
69 Gödel's Functional ("Dialectica") Interpretation – Jeremy Avigad, Solomon Feferman - 1998
23 Iteration processes for nonexpansive mappings – K Goebel, W A Kirk - 1983