Inductively defined sets of reals

Cenzer, Douglas

doi:10.1090/S0002-9904-1974-13459-2

Author: Douglas Cenzer
Journal: Bull. Amer. Math. Soc. 80 (1974), 485-487
MSC (1970): Primary 02F29; Secondary 02F27, 02F35, 02K30
DOI: https://doi.org/10.1090/S0002-9904-1974-13459-2
MathSciNet review: 0406782
Full-text PDF Free Access

1. Andreas Blass and Douglas Cenzer, Cores of Π₁¹ sets of reals, J. Symbolic Logic 39 (1974), 649–654. MR 376350, https://doi.org/10.2307/2272848
2. D. Cenzer, Monotone inductive definitions over the continuum, Notices Amer. Math. Soc. 21 (1974), A-19.
3. Douglas Cenzer, Ordinal recursion and inductive definitions, Generalized recursion theory (Proc. Sympos., Oslo, 1972) North-Holland, Amsterdam, 1974, pp. 221–264. Studies in Logic and the Foundations of Math., Vol. 79. MR 0429522
4. D. Cenzer, Ordinal recursion over the continuum (to appear).
5. Douglas Cenzer, Parametric inductive definitions and recursive operators over the continuum, Fund. Math. 100 (1978), no. 1, 9–15. MR 479986, https://doi.org/10.4064/fm-100-1-9-15
6. Thomas J. Grilliot, Hierarchies based on objects of finite type, J. Symbolic Logic 34 (1969), 177–182. MR 282841, https://doi.org/10.2307/2271092
7. Peter G. Hinman, Recursion-theoretic hierarchies, Springer-Verlag, Berlin-New York, 1978. Perspectives in Mathematical Logic. MR 499205
8. Peter G. Hinman and Yiannis N. Moschovakis, Computability over the continuum, Logic Colloquium ’69 (Proc. Summer School and Colloq., Manchester, 1969), North-Holland, Amsterdam, 1971, pp. 77–105. MR 0278949
9. S. C. Kleene, Recursive functionals and quantifiers of finite types. II, Trans. Amer. Math. Soc. 108 (1963), 106–142. MR 153557, https://doi.org/10.1090/S0002-9947-1963-0153557-4
10. Wayne Richter, Recursively Mahlo ordinals and inductive definitions, Logic Colloquium ’69 (Proc. Summer School and Colloq., Manchester, 1969), North-Holland, Amsterdam, 1971, pp. 273–288. MR 0281616