Explicit mathematics with the monotone fixed point principle. II: Models

Journal of Symbolic Logic

Volumn 64, Issue 2, 1999, Pages 517-550

  Rathjen, Michael ^a  

^a UNIVERSITY OF LEEDS   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0033443491     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2586483     Document Type: Article

References (16)

1. P. ACZEL, The type theoretic interpretation of constructive set theory: Inductive definitions. (R. B. Marcus et al., editor), Logic, Methodology, and Philosophy of Science VII, North-Holland, Amsterdam, 1986.
2. K.R. APT and W. MAREK, Second order arithmetic and related topics, Annals of Mathematical Logic, vol. 6 (1974), pp. 117-229.
3. J. BARWISE, Admissible sets and structures, Springer, Berlin, 1975.
4. J. BARWISE and E. FISCHER, The Shoenfield absoluteness lemma, Israel Journal of Mathematics, vol. 8 (1970), pp. 329-339.
5. K. DEVLIN, Constructibility, Springer, Berlin, 1984.
6. S. FEFERMAN, A language and axioms for explicit mathematics, Algebra and logic (J.N. Crossley, editor), Lecture Notes in Mathematics, vol. 450, Springer, Berlin, 1975, pp. 87-139.
7. _, Recursion theory and set theory: a marriage of convenience, Generalized recursion theory II (G.E. Sacks J.E. Fenstad, R.O. Gandy, editor), North-Holland, Amsterdam, 1978, pp. 55-98.
8. _, 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.
9. _, 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.
10. T. GLAß, M. RATHJEN, and A. SCHLÜTER, On the proof-theoretic strength of monotone induction in explicit mathematics, Annals of Pure and Applied Logic, vol. 85 (1997), pp. 1-46.
11. P.G. HINMAN, Recursion-theoretic hierarchies, Springer, Berlin, 1978.
12. G. JÄGER, Theories for admissible sets: a unifying approach to proof theory, Bibliopolis, Naples, 1986.
13. M. RATHJEN, Monotone inductive definitions in explicit mathematics, this JOURNAL, vol. 61 (1996), pp. 125-146.
14. _, Explicit mathematics with the monotone fixed point principle, this JOURNAL, vol. 63 (1998), pp. 509-542.
15. 0, Logic colloquium '80 (D. van Dalen, D. Lascar, and J. Smiley, editors), North-Holland, Amsterdam, 1982, pp. 255-271.
16. 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.