Monotone inductive definitions in explicit mathematics

Journal of Symbolic Logic

Volumn 61, Issue 1, 1996, Pages 125-146

  Rathjen, Michael ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0030551726     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2275601     Document Type: Article

References (19)

1. P. ACZEL, An introduction to inductive definitions, Handbook of mathematical logic (J. Barwise, editor), North-Holland, Amsterdam, 1977, pp. 739-782.
2. M. BEESON, Foundations of constructive mathematics, Springer Verlag, Berlin, 1985.
3. W. BUCHHOLZ, S. FEFERMAN, W. POHLERS, and W. SIEG, Iterated inductive definitions and subsystems of analysis, Lecture notes in mathematics, no. 897, Springer Verlag, Berlin, 1981, pp. 78-142.
4. S. FEFERMAN, A language and axioms for explicit mathematics, Algebra and logic (J. N. Crossley, editor), Lecture Notes in Mathematics, no. 450, Springer Verlag, Berlin, 1975, pp. 87-139.
5. _, Constructive theories of functions and classes, Logic colloquium '78 (M. Boffa, D. van Dalen, and K. McAloon, editors), North-Holland, Amsterdam, 1979, pp. 159-224.
6. _, Monotone inductive definitions, The L. E. J. Brouwer centenary symposium (A. S. Troelstra and D. van Dalen, editors), North-Holland, 1982, pp. 77-89.
7. S. FEFERMAN and W. SIEG, Proof-theoretic equivalences between classical and constructive theories of analysis, Iterated inductive definitions and subsystems of analysis (W. Buchholz, S. Feferman, W. Pohlers, and W. Sieg, editors), Lecture Notes in Mathematics, no. 897, Springer Verlag, Berlin, 1981, pp. 78-142.
8. T. GLAß, Standardstrukturen für Systeme expliziter Mathematik, Thesis, University of Münster, 1993.
9. E. GRIFFOR and M. RATHJEN, The strength of some Martin-Löf type theories, Archive for Mathematical Logic, vol. 33 (1994), pp. 347-385.
10. L. A. HARRINGTON and A. S. KECHRIS, On monotone versus nonmonotone induction, Bulletin of the American Mathematical Society, vol. 82 (1976), pp. 888-890.
11. L. A. HARRINGTON and A.S. KECHRIS, Inductive definability, type-written manuscript, 8 pages.
12. A. S. KECHRIS and Y. N. MOSCHOVAKIS, Recursion in higher types, Handbook of mathematical logic (J. Barwise, editor), North-Holland, 1977, pp. 681-737.
13. G. KREISEL, Generalized inductive definitions, in: Stanford Report on the Foundations of Analysis (mimeographed), Ch. III, Stanford, 1963.
14. Y. N. MOSCHOVAKIS, Elementary inductions on abstract structures, North-Holland, Amsterdam, 1974.
15. 2 - CA + BI liegenden Beweisstärke, University of Münster, Institute for Mathematical Logic and Foundational Research, Münster, 1989.
16. _, Proof-theoretic analysis of KPM, Arch. Mathematical Logic, vol. 30 (1991), pp. 377-403.
17. W. RICHTER, Recursively Mahlo ordinals and inductive definitions, Logic colloquium '69 (R. O. Gandy and C. E. M. Yates, editors), North-Holland, Amsterdam, 1971, pp. 273-288.
18. W. RICHTER and P. ACZEL, Inductive definitions and reflecting properties of admissible ordinals, Generalized recursion theory (J. E. Fenstad and P. G. Hinman, editors), North-Holland, Amsterdam, 1974, pp. 301-381.
19. S. TAKAHASHI, Monotone inductive definitions in a constructive theory of functions and classes, Annals of Pure and Applied Logic (1989), pp. 255-279.