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

54 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 A Bezem - 1985
145 Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes – Kurt 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 Formulated – Clifford Spector - 1962
35 Effective bounds from ineffective proofs in analysis: an application of functional interpretation and majorization – Ulrich Kohlenbach - 1992
27 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 – Solomon Feferman
9 The Use of a Logical Principle of Uniform Boundedness in Analysis – Ulrich Kohlenbach - 1996
18 Proof Theory and Computational Analysis – Ulrich Kohlenbach, Ulrich Kohlenbach - 1997
3 The correspondence principle and finitary ergodic theory. http: //terrytao.wordpress.com/2008/08/30 – Terence Tao - 2008
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
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