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

Documents Related by Co-Citation

53 Analyzing Proofs in Analysis – Ulrich Kohlenbach - 1993
34 Mathematically Strong Subsystems of Analysis With Low Rate of Growth of Provably Recursive Functionals – Ulrich Kohlenbach - 1995
36 Strongly majorizable functionals of finite type: a model for bar recursion containing discontinuous functionals – M Bezem - 1985
145 Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes – K Gödel - 1958
193 Subsystems of Second Order Arithmetic – S G Simpson - 2009
74 Provably recursive functionals of analysis: a consistency proof of analysis by an extension of principles in current intuitionistic mathematics – C Spector - 1962
35 Effective bounds from ineffective proofs in analysis: an application of functional interpretation and majorization – U Kohlenbach - 1992
26 Extensional Gödel Functional Interpretation – H Luckhardt - 1973
69 Gödel's Functional ("Dialectica") Interpretation – Jeremy Avigad, Solomon Feferman - 1998
53 Applied Proof Theory: Proof Interpretations and their Use in Mathematics – U Kohlenbach - 2008
10 On the Uniform Weak König's Lemma – Ulrich Kohlenbach - 1999
44 Theories of finite type related to mathematical practice – S Feferman - 1977
18 Proof Theory and Computational Analysis – Ulrich Kohlenbach, Ulrich Kohlenbach - 1997
9 The use of a logical principle of uniform boundedness in analysis – Ulrich Kohlenbach - 1996
20 Soft analysis, hard analysis, and the finite convergence principle. Essay posted May 23, 2007. Appeared in: ‘T. Tao, Structure and Randomness: Pages from Year One of a Mathematical Blog – T Tao
3 The correspondence principle and finitary ergodic theory. http: //terrytao.wordpress.com/2008/08/30 – Terence Tao - 2008
44 Some Logical Metatheorems with Applications in Functional Analysis – Ulrich Kohlenbach - 2003
14 Pointwise hereditary majorization and some applications – Ulrich Kohlenbach - 1992
15 Proof Mining: A Systematic Way of Analysing Proofs in Mathematics – Ulrich Kohlenbach, Paulo B. Oliva - 2002