We show that if A and A are automorphic via # then the structures SR (A) and SR ( 3 -isomorphic via an isomorphism # induced by #. Then we use this result to classify completely the orbits of hhsimple sets.

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

We prove that if an incomplete computably enumerable set has the the universal splitting property then it is low 2 . This solves a question from Ambos-Spies and Fejer [1] and Downey and Stob [7]. Some technical improvements are discussed. 1 Introduction Two computably enumerable sets A 1 and A 2 are said to split A if A = A 1 [ A 2 and A 1 " A 2 = ;. We write A 1 t A 2 = A in the case that A 1 and A 2 split A. Splitting theorems for computably enumerable sets have played a central role in the history of classical computability theory. For instance, Sack's splitting theorm [14], demonstrated that every nonzero computably enumerable degree could be Downey's research supported by Cornell University, an IGC grant from Victoria University and the New Zealand Marsden Fund via grant 95-VIC-MIS-0698 under contract VIC-509. Some of these results were obtained whilst Downey was a Visiting Professor at Cornell University in fall 1995. decomposed into a pair of incomparible nonzero computa...

We describe the important role that the conjectures and questions posed at the end of the two editions of Gerald Sacks's Degrees of Unsolvability have had in the development of recursion theory over the past thirty years. Gerald Sacks has had a major influence on the development of logic, particularly recursion theory, over the past thirty years through his research, writing and teaching. Here, I would like to concentrate on just one instance of that influence that I feel has been of special significance to the study of the degrees of unsolvability in general and on my own work in particular--- the conjectures and questions posed at the end of the two editions of Sacks's first book, the classic monograph Degrees of Unsolvability (Annals

. We focus on L(A), the filter of supersets of A in the structure of the computably enumerable sets under the inclusion relation, where A is an atomless r-maximal set. We answer a long standing question by showing that there are infinitely many pairwise non-isomorphic filters of this type. 1. Introduction Let E be the collection of computably enumerable sets ordered via the inclusion relation. A main task concerning this structure is to classify its orbits. That is, given a computably enumerable set A, determine all the other computably enumerable sets B such that there is an automorphism # of E with #(A) = B. (It is understood that from this point on all sets are computably enumerable.) There has been some success in this area. For example, the maximal sets form an orbit [Soare, 1974] and the hemi-maximal sets (Friedberg splittings of maximal sets) form an orbit [Downey and Stob, 1992]. It is easy to see that if A and B are in the same orbit then L(A) is isomorphic to L(B)....

Abstract not found

Abstract. We define G, a substructure of EΠ (the lattice of Π 0 1 classes) and show that a quotient structure of G, G ♦ , is isomorphic to E ∗. The result builds on the ∆ 0 3 isomorphism machinery, and allows us to transfer invariant classes from E ∗ to EΠ, though not, in general, orbits. Further properties of G ♦ and ramifications of the isomorphism are explored, including degrees of equivalence classes and degree invariance. 1.

Abstract. The goal of this paper is to show there is a single orbit of the c.e. sets with inclusion, E, such that the question of membership in this orbit is Σ1 1-complete. This result and proof have a number of nice corollaries: the Scott rank of E is ωCK 1 + 1; not all orbits are elementarily definable; there is no arithmetic description of all orbits of E; for all finite α ≥ 9, there is a properly ∆0 α orbit (from the proof). 1.

A set A ` ! is computably enumerable (c.e.), also called recursively enumerable, (r.e.), or simply enumerable, if there is a computable algorithm to list its members. Let E denote the structure of the c.e. sets under inclusion. Starting with Post [1944] there has been much interest in relating the denable (especially E-denable) properties of a c.e. set A to its iinformation contentj, namely its Turing degree, deg(A), under T , the usual Turing reducibility. [Turing 1939]. Recently, Harrington and Soare answered a question arising from Post's program by constructing a nonemptly E-denable property Q(A) which guarantees that A is incomplete (A !T K). The property Q(A) is of the form (9C)[A ae m C & Q \Gamma (A; C)], where A ae m C abbreviates that iA is a major subset of Cj, and Q \Gamma (A; C) contains the main ingredient for incompleteness. A dynamic property P (A), such as prompt simplicity, is one which is dened by considering how fast elements elements enter A relat...

Abstract. The goal of this paper is to announce there is a single orbit of the c.e. sets with inclusion, E, such that the question of membership in this orbit is Σ1 1-complete. This result and proof have a number of nice corollaries: the Scott rank of E is ωCK 1 + 1; not all orbits are elementarily definable; there is no arithmetic description of all orbits of E; for all finite α ≥ 9, there is a properly ∆0 α orbit (from the proof). 1.