Mathematically Strong Subsystems of Analysis With Low Rate of Growth of Provably Recursive Functionals (1995)

Cached

Download Links

by Ulrich Kohlenbach
Citations:34 - 21 self

Active Bibliography

54 Analyzing Proofs in Analysis – Ulrich Kohlenbach - 1993
1 PROOF INTERPRETATIONS AND MAJORIZABILITY – Fernando Ferreira
44 Some Logical Metatheorems with Applications in Functional Analysis – Ulrich Kohlenbach - 2003
13 Elimination of Skolem functions for monotone formulas in analysis – Ulrich Kohlenbach
9 The Use of a Logical Principle of Uniform Boundedness in Analysis – Ulrich Kohlenbach - 1996
4 Gödel’s functional interpretation and its use in current mathematics – Ulrich Kohlenbach
9 On the Arithmetical Content of Restricted Forms of Comprehension, Choice and General Uniform Boundedness – Ulrich Kohlenbach - 1997
9 Proof Interpretations and the Computational Content of Proofs. Draft of book in preparation – Ulrich Kohlenbach - 2007
10 Strongly Uniform Bounds from Semi-Constructive Proofs – Philipp Gerhardy, Ulrich Kohlenbach - 2004
4 On the Computational Content of the Bolzano-Weierstraß Principle – Pavol Safarik, Ulrich Kohlenbach - 2009
17 Number theory and elementary arithmetic – Jeremy Avigad - 2003
31 General logical metatheorems for functional analysis – Philipp Gerhardy, Ulrich Kohlenbach - 2008
8 Modified Bar Recursion – Ulrich Berger, Paulo B. Oliva - 2002
3 Effective bounds on strong unicity in L_1-approximation – Ulrich Kohlenbach, Paulo B. Oliva - 2001
15 Proof Mining: A Systematic Way of Analysing Proofs in Mathematics – Ulrich Kohlenbach, Paulo B. Oliva - 2002
11 Foundational and mathematical uses of higher types – Ulrich Kohlenbach - 1999
10 On the Uniform Weak König's Lemma – Ulrich Kohlenbach - 1999
approximation – Ulrich Kohlenbach
7 Intuitionistic Choice and Restricted Classical Logic – Ulrich Kohlenbach - 2000