Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

If You Use a Screen Reader

This content is available through Read Online (Free) program, which relies on page scans. Since scans are not currently available to screen readers, please contact JSTOR User Support for access. We'll provide a PDF copy for your screen reader.

Eventually Infinite Time Turing Machine Degrees: Infinite Time Decidable Reals

P. D. Welch
The Journal of Symbolic Logic
Vol. 65, No. 3 (Sep., 2000), pp. 1193-1203
DOI: 10.2307/2586695
Stable URL: http://www.jstor.org/stable/2586695
Page Count: 11
  • Read Online (Free)
  • Download ($10.00)
  • Subscribe ($19.50)
  • Cite this Item
Since scans are not currently available to screen readers, please contact JSTOR User Support for access. We'll provide a PDF copy for your screen reader.
Eventually Infinite Time Turing Machine Degrees: Infinite Time Decidable Reals
Preview not available

Abstract

We characterise explicitly the decidable predicates on integers of Infinite Time Turing machines, in terms of admissibility theory and the constructible hierarchy. We do this by pinning down ζ, the least ordinal not the length of any eventual output of an Infinite Time Turing machine (halting or otherwise); using this the Infinite Time Turing Degrees are considered, and it is shown how the jump operator coincides with the production of mastercodes for the constructible hierarchy; further that the natural ordinals associated with the jump operator satisfy a Spector criterion, and correspond to the Lζ-stables. It also implies that the machines devised are "Σ2 Complete" amongst all such other possible machines. It is shown that least upper bounds of an "eventual jump" hierarchy exist on an initial segment.

Page Thumbnails

  • Thumbnail: Page 
1193
    1193
  • Thumbnail: Page 
1194
    1194
  • Thumbnail: Page 
1195
    1195
  • Thumbnail: Page 
1196
    1196
  • Thumbnail: Page 
1197
    1197
  • Thumbnail: Page 
1198
    1198
  • Thumbnail: Page 
1199
    1199
  • Thumbnail: Page 
1200
    1200
  • Thumbnail: Page 
1201
    1201
  • Thumbnail: Page 
1202
    1202
  • Thumbnail: Page 
1203
    1203