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.

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