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]

Authors

Leo Harrington

This author has not been identified. Look up 'Leo Harrington' in Google

Robert I. Soare

This author has not been identified. Look up 'Robert I. Soare' in Google