Inductively defined sets of reals
HTML articles powered by AMS MathViewer
- by Douglas Cenzer PDF
- Bull. Amer. Math. Soc. 80 (1974), 485-487
References
- Andreas Blass and Douglas Cenzer, Cores of $\Pi _{1}^{1}$ sets of reals, J. Symbolic Logic 39 (1974), 649–654. MR 376350, DOI 10.2307/2272848 2. D. Cenzer, Monotone inductive definitions over the continuum, Notices Amer. Math. Soc. 21 (1974), A-19.
- Douglas Cenzer, Ordinal recursion and inductive definitions, Generalized recursion theory (Proc. Sympos., Univ. Oslo, Oslo, 1972) Studies in Logic and the Foundations of Math., Vol. 79, North-Holland, Amsterdam, 1974, pp. 221–264. MR 0429522 4. D. Cenzer, Ordinal recursion over the continuum (to appear).
- Douglas Cenzer, Parametric inductive definitions and recursive operators over the continuum, Fund. Math. 100 (1978), no. 1, 9–15. MR 479986, DOI 10.4064/fm-100-1-9-15
- Thomas J. Grilliot, Hierarchies based on objects of finite type, J. Symbolic Logic 34 (1969), 177–182. MR 282841, DOI 10.2307/2271092
- Peter G. Hinman, Recursion-theoretic hierarchies, Perspectives in Mathematical Logic, Springer-Verlag, Berlin-New York, 1978. MR 499205
- 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
- S. C. Kleene, Recursive functionals and quantifiers of finite types. II, Trans. Amer. Math. Soc. 108 (1963), 106–142. MR 153557, DOI 10.1090/S0002-9947-1963-0153557-4
- 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
Additional Information
- 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