Jumping through the transfinite: the master code hierarchy of Turing degrees-Reference-Cited by-同舟云学术

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

Published:1980-06 Issue:2 Volume:45 Page:204-220
ISSN:0022-4812
Container-title:Journal of Symbolic Logic
language:en
Short-container-title:J. symb. log.

Author:

Hodes Harold T.

Abstract

AbstractWhere 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.

Publisher

Cambridge University Press (CUP)

Subject

Logic,Philosophy

Reference10 articles.

1. Gaps in the contructable universe

2. Steel J. , Ph. D. Thesis, University of California, Berkeley, 1977.

3. A recursion-theoretic characterization of the ramified analytical hierarchy

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Effective randomness for continuous measures;Journal of the American Mathematical Society;2021-08-30

2. An algorithmic approach to characterizations of admissibles;Computing with Foresight and Industry;2019

3. The limits of determinacy in second order arithmetic: consistency and complexity strength;Israel Journal of Mathematics;2014-07-28

4. A non-inversion theorem for the jump operator;Annals of Pure and Applied Logic;1988-12

5. Uncountable master codes and the jump hierarchy;Journal of Symbolic Logic;1987-12