The purpose of this communication is to announce some recent results on the computably enumerable sets. There are two disjoint sets of results; the first involves invariant classes and the second involves automorphisms of the computably enumerable sets. What these results have in common is

Abstract. We prove an algebraic extension theorem for the computably enumerable sets, E. Using this extension theorem and other work we then show if A and � A are automorphic via Ψ, then they are automorphic via Λ where Λ ↾ L ∗ (A) =ΨandΛ↾E ∗ (A) is∆0 3. We give an algebraic description of when an arbitrary set �A is in the orbit of a computably enumerable set A. We construct the first example of a definable orbit which is not a ∆0 3 orbit. We conclude with some results which restrict the ways one can increase the complexity of orbits. For example, we show that if A is simple and �A is in the same orbit as A, then they are in the same ∆0 6-orbit and, furthermore, we provide a classification of when two simple sets are in the same orbit. 1.

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.

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.

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.

This paper contains some results and open questions for automorphisms and definable properties of computably enumerable (c.e.) sets. It has long been apparent in automorphisms of c.e. sets, and is now becoming apparent in applications to topology and dierential geometry, that it is important to know the dynamical properties of a c.e. set We , not merely whether an element x is enumerated in We but when, relative to its appearance in other c.e. sets. We present here