The jump inversion theorem for $Q_{2n+1}$-degrees
HTML articles powered by AMS MathViewer
- by Ilias G. Kastanas PDF
- Proc. Amer. Math. Soc. 90 (1984), 422-424 Request permission
Abstract:
Assuming projective determinacy we extend Friedberg’s Jump Inversion theorem to ${Q_{2n + 1}}$-degrees, after noticing that it fails for $\Delta _{2n + 1}^1$-degrees.References
- Richard Friedberg, A criterion for completeness of degrees of unsolvability, J. Symbolic Logic 22 (1957), 159–160. MR 98025, DOI 10.2307/2964177
- Alexander S. Kechris, The theory of countable analytical sets, Trans. Amer. Math. Soc. 202 (1975), 259–297. MR 419235, DOI 10.1090/S0002-9947-1975-0419235-7
- Gert H. Müller and Dana S. Scott (eds.), Higher set theory, Lecture Notes in Mathematics, vol. 669, Springer, Berlin, 1978. MR 520182 —, Forcing with $\Delta$ perfect sets and minimal $\Delta$-degrees, J. Symbolic Logic (to appear).
- Yiannis N. Moschovakis, Descriptive set theory, Studies in Logic and the Foundations of Mathematics, vol. 100, North-Holland Publishing Co., Amsterdam-New York, 1980. MR 561709
- S. K. Thomason, On initial segments of hyperdegrees, J. Symbolic Logic 35 (1970), 189–197. MR 288027, DOI 10.2307/2270508
Additional Information
- © Copyright 1984 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 90 (1984), 422-424
- MSC: Primary 03E15; Secondary 03D30, 04A15
- DOI: https://doi.org/10.1090/S0002-9939-1984-0728361-5
- MathSciNet review: 728361