Remote Access Proceedings of the American Mathematical Society
Green Open Access

Proceedings of the American Mathematical Society

ISSN 1088-6826(online) ISSN 0002-9939(print)

 
 

 

The jump inversion theorem for $ Q\sb{2n+1}$-degrees


Author: Ilias G. Kastanas
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
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

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 [Enhancements On Off] (What's this?)

  • [1] R. Friedberg, A criterion for completeness of degrees of unsolvability, J. Symbolic Logic 22 (1957), 159-160. MR 0098025 (20:4488)
  • [2] A. Kechris, The theory of countable analytical sets, Trans. Amer. Math. Soc. 202 (1975), 259-297. MR 0419235 (54:7259)
  • [3] -, Forcing in analysis, Higher Set Theory, G. H. Mueller and D. S. Scott, eds. (Proc., Oberwolfach, Germany, 1977), Lecture Notes in Math., Vol. 669, Springer-Verlag, New York, 1978, pp. 277-302. MR 520182 (80a:03005)
  • [4] -, Forcing with $ \Delta $ perfect sets and minimal $ \Delta $-degrees, J. Symbolic Logic (to appear).
  • [5] Y. Moschovakis, Descriptive set theory, North-Holland, Amsterdam, 1980. MR 561709 (82e:03002)
  • [6] S. Thomason, On initial segments of hyperdegrees, J. Symbolic Logic 35 (1970), 189-197. MR 0288027 (44:5225)

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC: 03E15, 03D30, 04A15

Retrieve articles in all journals with MSC: 03E15, 03D30, 04A15


Additional Information

DOI: https://doi.org/10.1090/S0002-9939-1984-0728361-5
Article copyright: © Copyright 1984 American Mathematical Society

American Mathematical Society