General logical metatheorems for functional analysis (2008)

by Philipp Gerhardy , Ulrich Kohlenbach
Citations:31 - 18 self

Active Bibliography

44 Some Logical Metatheorems with Applications in Functional Analysis – Ulrich Kohlenbach - 2003
15 Proof Mining: A Systematic Way of Analysing Proofs in Mathematics – Ulrich Kohlenbach, Paulo B. Oliva - 2002
10 Effective uniform bounds from proofs in abstract functional analysis – Ulrich Kohlenbach - 2005
9 Proof Interpretations and the Computational Content of Proofs. Draft of book in preparation – Ulrich Kohlenbach - 2007
19 A quantitative version of a theorem due to Borwein-Reich-Shafrir – Ulrich Kohlenbach - 2000
4 Gödel’s functional interpretation and its use in current mathematics – Ulrich Kohlenbach
2 1 General introduction – unknown authors
11 On the computational content of the Krasnoselski and Ishikawa fixed point theorems – Ulrich Kohlenbach - 2000
8 A quadratic rate of asymptotic regularity for CAT(0)-spaces – Laurentiu Leustean - 2005
1 PROOF INTERPRETATIONS AND MAJORIZABILITY – Fernando Ferreira
17 Mann Iterates of Directionally Nonexpansive Mappings in Hyperbolic Spaces – Ulrich Kohlenbach, Laurentiu Leustean - 2002
Applied Foundations: Proof Mining in Mathematics – Ulrich Kohlenbach
10 Strongly Uniform Bounds from Semi-Constructive Proofs – Philipp Gerhardy, Ulrich Kohlenbach - 2004
34 Mathematically Strong Subsystems of Analysis With Low Rate of Growth of Provably Recursive Functionals – Ulrich Kohlenbach - 1995
Herbrand’s theorem and extractive proof theory – U. Kohlenbach - 2008
9 On the Arithmetical Content of Restricted Forms of Comprehension, Choice and General Uniform Boundedness – Ulrich Kohlenbach - 1997
4 On the Computational Content of the Bolzano-Weierstraß Principle – Pavol Safarik, Ulrich Kohlenbach - 2009
7 Bounds on iterations of asymptotically quasi-nonexpansive mappings – Ulrich Kohlenbach, Branimir Lambov - 2003
Mann iterates of directionally nonexpansive mappings . . . – Ulrich Kohlenbach, et al.