Extensions Theorems, Orbits, and Automorphisms of the Computably Enumerable Sets

Peter Cholak, Leo Harrington

We prove an algebraic extension theorem for the computably enumerable sets, $\mathcal{E}$. Using this extension theorem and other work we then show if $A$ and $\hat{A}$ are automor…