Foundational and mathematical uses of higher types (1999)

by Ulrich Kohlenbach
Venue:REFLECTIONS ON THE FOUNDATIONS OF MATHEMATICS: ESSAY IN HONOR OF SOLOMON FEFERMAN
Citations:11 - 4 self

Active Bibliography

10 On the Uniform Weak König's Lemma – Ulrich Kohlenbach - 1999
1 PROOF INTERPRETATIONS AND MAJORIZABILITY – Fernando Ferreira
17 Number theory and elementary arithmetic – Jeremy Avigad - 2003
9 Proof Interpretations and the Computational Content of Proofs. Draft of book in preparation – Ulrich Kohlenbach - 2007
15 Proof Mining: A Systematic Way of Analysing Proofs in Mathematics – Ulrich Kohlenbach, Paulo B. Oliva - 2002
4 Gödel’s functional interpretation and its use in current mathematics – Ulrich Kohlenbach
1 The Computational Strength of Extensions of Weak König's Lemma – U. Kohlenbach, Ulrich Kohlenbach, Ulrich Kohlenbach - 1998
9 Higher Order Reverse Mathematics – Ulrich Kohlenbach - 2000
13 Elimination of Skolem functions for monotone formulas in analysis – Ulrich Kohlenbach
9 On the Arithmetical Content of Restricted Forms of Comprehension, Choice and General Uniform Boundedness – Ulrich Kohlenbach - 1997
34 Mathematically Strong Subsystems of Analysis With Low Rate of Growth of Provably Recursive Functionals – Ulrich Kohlenbach - 1995
3 Things that can and things that can't be done in PRA – Ulrich Kohlenbach - 1998
4 On the Computational Content of the Bolzano-Weierstraß Principle – Pavol Safarik, Ulrich Kohlenbach - 2009
3 Effective bounds on strong unicity in L_1-approximation – Ulrich Kohlenbach, Paulo B. Oliva - 2001
9 The Use of a Logical Principle of Uniform Boundedness in Analysis – Ulrich Kohlenbach - 1996
44 Some Logical Metatheorems with Applications in Functional Analysis – Ulrich Kohlenbach - 2003
unknown title – Name Ulrich Kohlenbach
10 Proof mining in L_1-approximation – Ulrich Kohlenbach, Paulo Oliva - 2001
Classical provability of uniform versions and intuitionistic provability – Makoto Fujiwara, Ulrich Kohlenbach, Tu Darmstadt Schlossgartenstraße - 2013