A generalized Kleene-Moschovakis theorem
HTML articles powered by AMS MathViewer
- by Leo Harrington, Lefteris Kirousis and John Schlipf PDF
- Proc. Amer. Math. Soc. 68 (1978), 209-213 Request permission
Abstract:
Moschovakis generalized a theorem of Kleene to prove that if $\mathfrak {X}$ is a collection of subsets of any acceptable structure $\mathfrak {M}$ such that $(\mathfrak {M},\mathfrak {X}) \vDash \Delta _1^1$ comprehension, every hyperelementary subset of $\mathfrak {M}$ is in $\mathfrak {X}$. We prove an analogous result for arbitrary $\mathfrak {M}$. We also get analogous results for $\mathfrak {M}$ with an extra quantifier Q.References
- Jon Barwise, Admissible sets and structures, Perspectives in Mathematical Logic, Springer-Verlag, Berlin-New York, 1975. An approach to definability theory. MR 0424560 Admissible sets and monotone quantifiers, Lecture notes, U.C.L.A., spring 1976 (unpublished).
- K. J. Barwise, R. O. Gandy, and Y. N. Moschovakis, The next admissible set, J. Symbolic Logic 36 (1971), 108–120. MR 300876, DOI 10.2307/2271519
- Jon Barwise and John Schlipf, On recursively saturated models of arithmetic, Model theory and algebra (A memorial tribute to Abraham Robinson), Lecture Notes in Math., Vol. 498, Springer, Berlin, 1975, pp. 42–55. MR 0409172
- Y. N. Moschovakis, Analytical definability in a playful universe, Logic, methodology and philosophy of science, IV (Proc. Fourth Internat. Congress, Bucharest, 1971) Studies in Logic and Foundations of Math., Vol. 74, North-Holland, Amsterdam, 1973, pp. 77–85. MR 0540769
Additional Information
- © Copyright 1978 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 68 (1978), 209-213
- MSC: Primary 02F27
- DOI: https://doi.org/10.1090/S0002-9939-1978-0476457-5
- MathSciNet review: 0476457