Relative constructivity

Journal of Symbolic Logic

Volumn 63, Issue 4, 1998, Pages 1218-1238

  Kohlenbach, Ulrich ^a  

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0032264528     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2586648     Document Type: Article

References (18)

1. M. J. BEESON, Principles of continuous choice and continuity of functions in formal systems for constructive mathematics, Annals of Mathematical Logic, vol. 12 (1977), pp. 249-322.
2. M. A. BEZEM, Strongly majorizable functionals of finite type: a model for bar recursion containing discontinuous functionals, this JOURNAL, vol. 50 (1985), pp. 652-660.
3. D. BRIDGES and F. RICHMAN, Varieties of constructive mathematics, London Mathematical Society Lecture Note Series, no. 97, Cambridge University Press, Cambridge, 1987.
4. K. GÖDEL, Über eine noch nicht benütze Erweiterung des finiten Standpunktes, Dialectica, vol. 12 (1958), pp. 280-287.
5. W. A. HOWARD, Hereditarily majorizable functionals of finite type, in [15].
6. U. KOHLENBACH, Arithmetizing proofs in analysis, Lecture Notes in Logic, Springer-Verlag, Berlin, to appear in Proceedings of Logic Colloquium 96 (San Sebastian).
7. _, Proof theory and computational analysis, to appear in Electronic Notes in Theoretical Computer Science, vol. 13.
8. _, The use of uniform boundedness in analysis, to appear in Proceedings of Logic in Florence 1995, Synthese Library, Kluwer.
9. _, Pointwise hereditary majoration and some applications, Archive for Mathematical Logic, vol. 31 (1992), pp. 227-241.
10. _, Exploiting partial constructivity relatively to non-constructive lemmas in given proofs (abstract of a contributed talk presented at the Logic Colloquium 94, Clermont-Ferrand), Bulletin of Symbolic Logic, vol. 1 (1995), pp. 243-244.
11. _, Real growth in standard parts of analysis, Habilitationsschrift, Frankfurt, 1995, xv+166 p.
12. _, Analizing proofs in analysis, Logic: from foundations to applications (W. Hodges, M. Hyland, C. Steinhorn, and J. Truss, editors), Oxford University Press, Oxford, 1996, European Logic Colloquium, Keele 1993, pp. 225-260.
13. _, Mathematically strong subsystems of analyse with low rate of growth of provably recursive functionals. Archive for Mathematical Logic, vol. 16 (1996), pp. 31-71.
14. G. KREISEL, On weak completeness of intuitionistic predicate logic, this JOURNAL, vol. 27 (1962), pp. 139-158.
15. A. S. Troelstra (editor), Metamathematical investigation of intuitionistic arithmetic and analysis, Springer Lecture Notes in Mathematics, no. 344, Springer-Verlag, Berlin, 1973.
16. _, Note on the fan theorem, this JOURNAL, vol. 39 (1974), pp. 584-596.
17. _, Realizability, ILLC Prepublication Series for Mathematical Logic and Foundations ML-92-09 Amsterdam, 1992, to appear in S. Buss (ed.), Handbook of proof theory.
18. A. S. TROELSTRA and D. VAN DALEN, Constructivism in mathematics: An introduction, vol. I, II, North-Holland, Amsterdam, 1988.