Definability, automorphisms, and dynamic properties of computably enumerable sets

Leo Harrington, Robert I. Soare. Definability, automorphisms, and dynamic properties of computably enumerable sets. Bulletin of Symbolic Logic, 2(2):199-213, 1996. [doi]

Abstract

Abstract is missing.