Jumping through the transfinite: The master code hierarchy of Turing degrees

Journal of Symbolic Logic 45 (2):204-220 (1980)
  Copy   BIBTEX

Abstract

Where $\underline{a}$ is a Turing degree and ξ is an ordinal $ , the result of performing ξ jumps on $\underline{a},\underline{a}^{(\xi)}$ , is defined set-theoretically, using Jensen's fine-structure results. This operation appears to be the natural extension through $(\aleph_1)^{L^\underline{a}}$ 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

Other Versions

No versions found

Similar books and articles

Infinite time Turing machines.Joel David Hamkins & Andy Lewis - 2000 - Journal of Symbolic Logic 65 (2):567-604.
The jump operation for structure degrees.V. Baleva - 2005 - Archive for Mathematical Logic 45 (3):249-265.
On the jump classes of noncuppable enumeration degrees.Charles M. Harris - 2011 - Journal of Symbolic Logic 76 (1):177 - 197.
On a Conjecture of Kleene and Post.S. Barry Cooper - 2001 - Mathematical Logic Quarterly 47 (1):3-34.

Analytics

Added to PP
2009-01-28

Downloads
515 (#44,616)

6 months
187 (#20,986)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Harold Hodes
Cornell University

Citations of this work

A non-inversion theorem for the jump operator.Richard A. Shore - 1988 - Annals of Pure and Applied Logic 40 (3):277-303.
Mathematical definability.Theodore A. Slaman - 1998 - In Harold Garth Dales & Gianluigi Oliveri (eds.), Truth in mathematics. New York: Oxford University Press, Usa. pp. 233.

Add more citations

References found in this work

Set theory and the continuum hypothesis.Paul J. Cohen - 1966 - New York,: W. A. Benjamin.
Set Theory and the Continuum Hypothesis.Kenneth Kunen - 1966 - Journal of Symbolic Logic 35 (4):591-592.
Gaps in the contructable universe.W. Marek & M. Srebrny - 1974 - Annals of Mathematical Logic 6 (3):359-394.
Uniform Upper Bounds on Ideals of Turing Degrees.Harold T. Hodes - 1978 - Journal of Symbolic Logic 43 (3):601-612.

Add more references