Abstract
This paper is part of a sequence of papers ([9–12]) resulting from our Habilitation-thesis [8] adressing the following question:
What is the impact on the growth of extractable uniform bounds the use of various analytical principles Γ in a given proof of an ∀∃-sentence might have?
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bezem, M. A., `Strongly Majorizable Functional of Finite Type: A Model for Bar Recursion Containing Discontinuous Functionals’, J. Symbolic Logic, 50 (1985), 652–660.
Feferman, S., `Theories of Finite Type Related to Mathematical Practice’, in J. Barwise (ed.), Handbook of Mathematical Logic, North-Holland, Amsterdam, 1977, pp. 913–972.
Friedman, H., `Systems of Second Order Arithmetic with Restricted Induction (Abstract)’, J. Symbolic Logic, 41 (1976), 558–559.
Kohlenbach, U., `Effective Bounds from Ineffective Proofs in Analysis: an Application of Functional Interpretation and Majorization’, J. Symbolic Logic, 57 (1992), 1239–1273.
Kohlenbach, U., `Effective Moduli from Ineffective Uniqueness Proofs. An Unwinding of de La Vallée Poussin’s Proof for Chebycheff Approximation’, Ann. Pure Appl. Logic, 64 (1993), 27–94.
Kohlenbach, U., `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’, Numer. Funct. Anal. Optim., 14 (1993), 581–606.
Kohlenbach, U., `Analysing Proofs in Analysis’, in W. Hodges et al. (eds), Logic: From Foundations to Applications. European Logic Colloquium (Keele, 1993) Oxford University Press, 1996, pp. 225–260.
Kohlenbach, U., Real Growth in Standard Parts of Analysis, Habilitationsschrift, Frankfurt, 1995.
Kohlenbach, U., `Mathematically Strong Subsystems of Analysis with Low Rate of Growth of Provably Recursive Functionals’, Arch. Math. Logic., 36 (1996), 31–71.
Kohlenbach, U., `Relative Constructivity’, J. Symbolic Logic, 63 (1998), 1218–1238.
Kohlenbach, U., `Elimination of Skolem Functions for Monotone Formulas in Analysis’, Arch. Math. Logic, 37 (1998), 363–390.
Kohlenbach, U., Arithmetizing Proofs in Analysis’, in J. M. Lawazabal et al. (eds), Logic Colloquium 96, Springer Lecture Notes in Logic 12, 1998, pp. 115–158.
Luckhardt, H., Extensional Gödel Functional linterpretation. A Consistency Proof of Classical Analysis, Springer Lecture Notes in Math. 306, 1973.
Sieg, W., `Fragments of Arithmetic’, Ann. Pure Appl. Logic, 28 (1985), 33–71.
Simpson, S. G., `Which Set Existence Axioms are Needed to Prove the Cauchy/Peano Theorem for Ordinary Differential Equations’, J. Symbolic Logic, 49 (1984), 783–801.
Simpson, S. G., `Reverse Mathematics’, in Proc. Symposia Pure Math. 42, AMS, Providence, 1985, pp. 461–471.
Troelstra, A. S., `Note on the Fan Theorem’, J. Symbolic Logic, 39 (1974), 584–596.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Kohlenbach, U. (1999). The Use of a Logical Principle of Uniform Boundedness in Analysis. In: Cantini, A., Casari, E., Minari, P. (eds) Logic and Foundations of Mathematics. Synthese Library, vol 280. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-2109-7_7
Download citation
DOI: https://doi.org/10.1007/978-94-017-2109-7_7
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-5201-8
Online ISBN: 978-94-017-2109-7
eBook Packages: Springer Book Archive