scholarly journals Collapse in a Transfinite Hierarchy of Turing Degrees

2021 ◽  
Author(s):  
Ellen Hammatt
Keyword(s):  
Turing Degrees

<p>In [2], Downey and Greenberg use the ordinals below ε0 to bound the number of mind-changes of computable approximations. This gives rise to a new transfinite hierarchy in the c.e. degrees; the totally α-c.a. degrees. This hierarchy is significant because it unifies the combinatorics of many constructions as well as giving natural definability results in the c.e. Turing degrees. We study the structure of this hierarchy; in particular we investigate collapse in upper cones. We give a proof in which we build a c.e. set using a strategy tree to show there is no uniform way to find a maximal totally ω^2-c.a. degree above a given totally ω-c.a. degree. Then we discuss extensions of this result.</p>

scholarly journals THE n-r.e. DEGREES: UNDECIDABILITY AND Σ1 SUBSTRUCTURES

2012 ◽  
Vol 12 (01) ◽  
pp. 1250005 ◽  
Author(s):  
MINGZHONG CAI ◽  
RICHARD A. SHORE ◽  
THEODORE A. SLAMAN
Keyword(s):  
Turing Degrees ◽  
First Order ◽  
Global Properties

We study the global properties of [Formula: see text], the Turing degrees of the n-r.e. sets. In Theorem 1.5, we show that the first order of [Formula: see text] is not decidable. In Theorem 1.6, we show that for any two n and m with n < m, [Formula: see text] is not a Σ1-substructure of [Formula: see text].

scholarly journals PERMUTATIONS OF THE INTEGERS INDUCE ONLY THE TRIVIAL AUTOMORPHISM OF THE TURING DEGREES

2018 ◽  
Vol 24 (2) ◽  
pp. 165-174
Author(s):  
BJØRN KJOS-HANSSEN
Keyword(s):  
Open Problem ◽  
Main Idea ◽  
Computability Theory ◽  
Turing Degrees ◽  
Nontrivial Automorphism

AbstractIs there a nontrivial automorphism of the Turing degrees? It is a major open problem of computability theory. Past results have limited how nontrivial automorphisms could possibly be. Here we consider instead how an automorphism might be induced by a function on reals, or even by a function on integers. We show that a permutation of ω cannot induce any nontrivial automorphism of the Turing degrees of members of 2ω, and in fact any permutation that induces the trivial automorphism must be computable.A main idea of the proof is to consider the members of 2ω to be probabilities, and use statistics: from random outcomes from a distribution we can compute that distribution, but not much more.

Eventually infinite time Turing machine degrees: infinite time decidable reals

2000 ◽  
Vol 65 (3) ◽  
pp. 1193-1203 ◽  
Author(s):  
P.D. Welch
Keyword(s):  
Turing Machine ◽  
Initial Segment ◽  
Upper Bounds ◽  
Turing Degrees ◽  
Turing Machines ◽  
Jump Operator ◽  
Infinite Time

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

Turing reducibility and Turing degrees

2018 ◽  
Author(s):  
Harold Hodes
Keyword(s):  
Computational Complexity ◽  
Recursion Theory ◽  
Turing Degrees ◽  
Natural Numbers ◽  
Mathematical Objects ◽  
Classical Setting ◽  
Turing Reducibility

A reducibility is a relation of comparative computational complexity (which can be made precise in various non-equivalent ways) between mathematical objects of appropriate sorts. Much of recursion theory concerns such relations, initially between sets of natural numbers (in so-called classical recursion theory), but later between sets of other sorts (in so-called generalized recursion theory). This article considers only the classical setting. Also Turing first defined such a relation, now called Turing- (or just T-) reducibility; probably most logicians regard it as the most important such relation. Turing- (or T-) degrees are the units of computational complexity when comparative complexity is taken to be T-reducibility.

scholarly journals Turing Degrees of Isomorphism Types of Geometric Objects

Computability ◽  
2014 ◽  
Vol 3 (2) ◽  
pp. 105-134
Author(s):  
Wesley Calvert ◽  
Valentina Harizanov ◽  
Alexandra Shlapentokh
Keyword(s):  
Turing Degrees ◽  
Geometric Objects

Splitting and jump inversion in the Turing degrees

Computability ◽  
2018 ◽  
Vol 7 (2-3) ◽  
pp. 133-142
Author(s):  
S. Barry Cooper ◽  
Angsheng Li ◽  
Mingji Xia
Keyword(s):  
Turing Degrees ◽  
Jump Inversion

Promptness does not imply superlow cuppability

2009 ◽  
Vol 74 (4) ◽  
pp. 1264-1272 ◽  
Author(s):  
David Diamondstone
Keyword(s):  
Explicit Construction ◽  
Negative Answer ◽  
Related Question ◽  
Truth Table ◽  
Turing Degrees ◽  
Classical Theorem ◽  
Halting Problem ◽  
Simple Set ◽  
Complete Set

AbstractA classical theorem in computability is that every promptly simple set can be cupped in the Turing degrees to some complete set by a low c.e. set. A related question due to A. Nies is whether every promptly simple set can be cupped by a superlow c.e. set, i.e. one whose Turing jump is truth-table reducible to the halting problem ∅′. A negative answer to this question is provided by giving an explicit construction of a promptly simple set that is not superlow cuppable. This problem relates to effective randomness and various lowness notions.

Sign in / Sign up

Export Citation Format

Share Document