The biinterpretability conjecture for the r.e. degrees asks whether, for each sufficiently large k, the # k relations on the r.e. degrees are uniformly definable from parameters. We solve a weaker version: for each k >= 7, the k relations bounded from below by a nonzero degree are uniformly definable. As applications, we show that...

Abstract not found

Abstract not found

We show the existence of a high r.e. degree bounding only joins of minimal pairs and of a high 2 nonbounding r.e. degree. 0 Introduction An important topic in the study of recursively enumerable sets and degrees has been the interaction between the jump operator and the order theoretic properties of an r. e. set A (in the lattice E of all r. e. sets) and of its degree a in R, the upper semilattice of the r. e. degrees. An early theme in this area was the idea that sets with "low" jumps should behave like the recursive sets while those with "high" jumps should exhibit properties like the complete sets. For example, in the lattice E of r. e. sets modulo finite sets, we know from Soare[23] that if A is low, i. e. A 0 j T ; 0 , then L (A), the lattice of r. e. supersets of A, is isomorphic to E . In R there are many instances of the low Partially supported by IGC of Vicoria University, Wellington and ARO through MSI, Cornell University, DAAL-03-C-0027. y Partailly suppo...

. The following theorems on the structure inside nonrecursive truthtable degrees are established: Degtev's result that the number of bounded truth-table degrees inside a truth-table degree is at least two is improved by showing that this number is infinite. There are even infinite chains and antichains of bounded truth-table degrees inside the truth-table degrees which implies an affirmative answer to a question of Jockusch whether every truthtable degree contains an infinite antichain of many-one degrees. Some but not all truth-table degrees have a least bounded truth-table degree. The technique to construct such a degree is used to solve an open problem of Beigel, Gasarch and Owings: there are Turing degrees (constructed as hyperimmunefree truth-table degrees) which consist only of 2-subjective sets and do therefore not contain any objective set. Furthermore a truth-table degree consisting of three positive degrees is constructed where one positive degree consists of enum...

Abstract. In this paper we show that there is no minimal bound for jump traceability. In particular, there is no single order function such that strong jump traceability is equivalent to jump traceability for that order. The uniformity of the proof method allows us to adapt the technique to showing that the index set of the c.e. strongly jump traceables is Π 0 4-complete. §1. Introduction. One of the fundamental concerns of computability theory is in understanding the relative difficulty of computational problems as measured by Turing reducubility (≤T). The equivalence classes of the preordering ≤T are called Turing degrees, and it is long recognized that the fundamental operator on the structure of the Turing degrees is the jump operator. For a set A, the

We investigate the complexity of several classical model theoretic theorems about prime and atomic models and omitting types. Some are provable in RCA0, others are equivalent to ACA0. One, that every atomic theory has an atomic model, is not provable in RCA0 but is incomparable with WKL0, more than Π1 1 conservative over RCA0 and strictly weaker than all the combinatorial principles of Hirschfeldt and Shore [2007] that are not Π1 1 conservative over RCA0. A prior-ity argument with Shore blocking shows that it is also Π 1 1-conservative over BΣ2. We also provide a theorem provable by a finite injury priority argument that is conservative over IΣ1 but implies IΣ2 over BΣ2, and a type omitting theorem that is equivalent to the principle that for every X there is a set that is hyperimmune relative to X. Finally, we give a version of the atomic model theorem that is equivalent to the principle that for every X there is a set that is not recursive in X, and is thus in a sense the weakest possible natural principle not true in the ω-model consisting of the recursive sets.

The Major Sub-degree Problem of A. H. Lachlan (first posed in 1967) has become a long-standing open question concerning the structure of the computably enumerable (c.e.) degrees. Its solution has important implications for Turing definability and for the ongoing programme of fully characterising the theory of the c.e. Turing degrees. A c.e. degree a is a major subdegree of a c.e. degree b> a if for any c.e. degree x, 0 ′ = b ∨ x if and only if 0 ′ = a ∨ x. In this paper, we show that every c.e. degree b ̸ = 0 or 0 ′ has a major sub-degree, answering Lachlan’s question affirmatively. 1

Abstract. We show that there is a degree a REA in and low over 0 ′ such that no minimal degree below 0 ′ jumps to a degree above a. We also show that every nonlow r.e. degree bounds a nonlow minimal degree. Introduction. An important and long-standing area of investigation in recursion theory has been the relationship between quantifier complexity of the definitions of sets in arithmetic as expressed by the jump operator and the basic notion of relative computability as expressed by the ordering of the (Turing) degrees. In this paper we

It is shown that there exists a low 2 Harrington non-splitting base --- that is, a low 2 computably enumerable (c.e.) degree a such that for any c.e. degrees x, y, if 0 # = x # y, then either 0 # = x # a or 0 # = y # a. Contrary to prior expectations, the standard Harrington non-splitting construction is incompatible with the low 2 -ness requirements to be satisfied, and the proof given involves new techniques with potentially wider application. 1