Abstract

This paper is part of a sequence of papers ([9],[10],[11],[12]) resulting from our Habilitation thesis [8] addressing the following question: What is the impact on the growth of extractable uniform bounds the use of various analytical principles \Gamma in a given proof of an 89--sentence might have? In particular we are interested in analyzing proofs of sentences having the form (1) 8u

Citations

36	Theories of finite type related to mathematical practice - Feferman - 1977
36	Analysing proofs in analysis - Kohlenbach - 1993
26	Strongly majorizable functionals of finite type: a model of bar recursion containing discontinuous functionals - Bezem - 1985
26	Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals - Kohlenbach - 1996
22	Effective bounds from ineffective proofs in analysis: an application of functional interpretation and majorization - Kohlenbach - 1992
22	Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin’s proof for Chebycheff approximation - Kohlenbach - 1993
22	Extensional Gödel Functional Interpretation: A Consistency Proof of Classical Analysis - Luckhardt
21	Fragments of arithmetic - Sieg - 1985
18	Systems of second order arithmetic with restricted induction - Friedman - 1976
15	Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations - Simpson - 1984
12	Relative constructivity - Kohlenbach - 1998
12	Logic and mathematics - Simpson - 2000
8	Elimination of Skolem functions for monotone formulas in analysis - Kohlenbach - 1998
8	Note on the fan theorem - Troelstra - 1974
6	New effective moduli of uniqueness and uniform a–priori estimates for constants of strong unicity by logical analysis of known proofs in best approximation theory. Numerical Functional Analysis and Optimization - Kohlenbach - 1993
3	growth in standard parts of analysis - Kohlenbach, Real - 1995
2	Arithmetizing proofs in analysis. To appear in - Kohlenbach