Some Logical Metatheorems with Applications in Functional Analysis (2003)

by Ulrich Kohlenbach
Citations:44 - 17 self

Active Bibliography

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