A set X of nonnegative integers is computably enumerable (c.e.), also called recursively enumerable (r.e.), if there is a computable method to list its elements. Let E denote the structure of the computably enumerable sets under inclusion, E = (fW e g e2! ; `). We previously exhibited a first order E-definable property Q(X) such that Q(X) guarantees that X is not Turing complete (i.e., does not code complete information about c.e. sets). Here we show first that Q(X) implies that X has a certain "slowness " property whereby the elements must enter X slowly (under a certain precise complexity measure of speed of computation) even though X may have high information content. Second we prove that every X with this slowness property is computable in some member of any nontrivial orbit, namely for any noncomputable A 2 E there exists B in the orbit of A such that X T B under relative Turing computability ( T ). We produce B using the \Delta 0 3 -automorphism method we introduced earli...

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

Abstract. We extend Post’s programme to finite levels of the Ershov hierarchy of ∆2 sets, and characterise, in the spirit of Post [9], the degrees of the immune and hyperimmune d.c.e. sets. We also show that no properly d.c.e. set can be hh-immune, and indicate how to generalise these results to n-c.e. sets, n> 2. 1