Hostname: page-component-7c8c6479df-nwzlb Total loading time: 0 Render date: 2024-03-29T05:54:36.637Z Has data issue: false hasContentIssue false

Jumping through the transfinite: the master code hierarchy of Turing degrees1

Published online by Cambridge University Press:  12 March 2014

Harold T. Hodes*
Affiliation:
Cornell Universrty, Ithaca, New York 14853

Abstract

Where a is a Turing degree and ξ is an ordinal < (ℵ1)L1, the result of performing ξ jumps on a, a(ξ), is defined set-theoretically, using Jensen's fine-structure results. This operation appears to be the natural extension through (ℵ1)L1 of the ordinary jump operations. We describe this operation in more degree-theoretic terms, examine how much of it could be defined in degree-theoretic terms and compare it to the single jump operation.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1980

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Footnotes

*

Thanks to the referee for finding several major and many minor errors. Special thanks to F. Abramson for suggesting the use of modified Steel conditions in the proofs of Lemmas 1 and 2 under Case 3. Writing of this paper was in part supported by a Fellowship from the Mellon Foundation.

References

BIBLIOGRAPHY

[1]Boolos, G. and Putnam, H., Degrees of unsolvability of constructive sets of integers, this Journal, vol. 33 (1968), pp. 497513.Google Scholar
[2]Boyd, R., Hensel, G. and Putnam, H., A recursion-theoretic characterization of the ramified analytical hierarchy, Transactions of the American Mathematical Society, vol. 141 (1969), pp. 4762.CrossRefGoogle Scholar
[3]Cohen, P., Set theory and the continuum hypothesis, Benjamin, New York, 1966.Google Scholar
[4]Hodes, H., Uniform upper bounds on ideals of Turing degrees, this Journal, vol. 43 (1978), pp. 601612.Google Scholar
[5]Jensen, R., The fine structure of the constructive universe, Annals of Mathematical Logic, vol. 8 (1972), pp. 132.Google Scholar
[6]Jockusch, C. and Simpson, S., A degree-theoretic characterization of the ramified analytical hierarchy, Annals of Mathematical Logic, vol. 10 (1976).CrossRefGoogle Scholar
[7]Leeds, S. and Putnam, H., An intrinsic characterization of the hierarchy of the constructible sets of integers, Logic Colloquium '69, North-Holland, Amsterdam and London, 1971.Google Scholar
[8]Marak, W. and Srebeny, M., Gaps in the constructible universe, Annals of Mathematical Logic, vol. 6 (1974), pp. 359394.CrossRefGoogle Scholar
[9]Sacks, G., Forcing with perfect closed sets, Proceedings of Symposia in Pure Mathematics, vol. 13, American Mathematical Society, Providence, R. I., 1971.Google Scholar
[10]Steel, J., Ph. D. Thesis, University of California, Berkeley, 1977.Google Scholar