Explicit mathematics with the monotone fixed point principle

Journal of Symbolic Logic

Volumn 63, Issue 2, 1998, Pages 509-542

  Rathjen, Michael ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0032222030     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2586846     Document Type: Article

References (27)

1. P. ACZEL, An introduction to inductive definitions, Handbook of mathematical logic (J. Barwise, editor), North-Holland, Amsterdam, 1977, pp. 739-782.
2. J. BARWISE and E. FISCHER, The Shoenfield absoluteness lemma, Israel Journal of Mathematics, vol. 8 (1970), pp. 329-339.
3. M. BEESON, Foundations of constructive mathematics, Springer-Verlag, Berlin, 1985.
4. 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.
5. A. CANTINI, On the relation between choice and comprehension principles in second order arithmetic, this JOURNAL, vol. 51 (1986), pp. 360-373.
6. 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.
7. _, 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.
8. _, Monotone inductive definitions, The L. E. J. Brouwer centenary symposium (A. S. Troelstra and D. van Dalen, editors), North-Holland, Amsterdam, 1982, pp. 77-89.
9. 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.
10. 2 - AC, Intuitionism and proof theory (A. Kino, J. Myhill, and R. E. Vesley, editors), North-Holland, Amsterdam, 1968, pp. 435-442.
11. T. GLASS, Standardstrukturen für Systeme Expliziter Mathematik, Inaugural-Dissertation, Münster, 1993.
12. T. GLASS, M. RATHJEN, and A. SCHLÜTER, The strength of monotone inductive definitions in explicit mathematics, Annals of Pure and Applied Logic, vol. 85 (1997), pp. 1-46.
13. L. A. HARRINGTON, Kolmogorov's R-operator and the first nonprojcctible ordinal, 13 pages, mimeographed notes, 1975.
14. P. G. HINMAN, Recursion-theoretic hierarchies, Springer, Berlin, 1978.
15. 3, this JOURNAL, vol. 51 (1986), pp. 1-11.
16. A. S. KECHRIS, Spector second order classes and reflection, Generalized recursion theory II (J. E. Fenstad, R. O. Gandy, and G. E. Sacks, editors), North-Holland, Amsterdam, 1978, pp. 147-183.
17. A. S. KECHRIS and Y. N. MOSCHOVAKIS, Recursion in higher types, Handbook of mathematical logic (J. Barwise, editor), North-Holland, Amsterdam, 1977, pp. 681-737.
18. Y. N. MOSCHOVAKIS, Elementary inductions on abstract structures, North-Holland, Amsterdam, 1974.
19. M. RATHJEN, Explicit mathematics with the monotone fixed point principle, II: Models, 33 pages, submitted.
20. _, Monotone inductive definitions in explicit mathematics, this JOURNAL, vol. 61 (1996), pp. 125-146.
21. 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.
22. H. ROGERS, Theory of recursive functions and effective computability, McGraw-Hill, New York, 1967.
23. K. SCHÜTTE, Proof theory, Springer-Verlag, Berlin, 1977.
24. H. SCHWICHTENBERG, Proof theory: Some applications of cut-elimination, Handbook of mathematical logic (J. Barwise, editor), North-Holland, Amsterdam, 1977, pp. 867-895.
25. J. R. SHOENFIELD, Mathematical logic, Addison-Wesley, 1967.
26. W. TAIT, Normal derivability in classical logic, The syntax and semantics of infinitary languages (J. Barwise, editor), Lectures Notes in Mathematics, no. 72, Springer-Verlag, Berlin, 1968, pp. 204-236.
27. S. TAKAHASHI, Monotone inductive definitions in a constructive theory of functions and classes, Annals of Pure and Applied Logic, vol. 42 (1989), pp. 255-279.