Leo Harrington, Robert I. Soare. Definability, automorphisms, and dynamic properties of computably enumerable sets. Bulletin of Symbolic Logic, 2(2):199-213, 1996. [doi]
@article{HarringtonS96,
title = {Definability, automorphisms, and dynamic properties of computably enumerable sets},
author = {Leo Harrington and Robert I. Soare},
year = {1996},
url = {http://www.math.ucla.edu/~asl/bsl/0202/0202-004.ps},
researchr = {https://researchr.org/publication/HarringtonS96},
cites = {0},
citedby = {0},
journal = {Bulletin of Symbolic Logic},
volume = {2},
number = {2},
pages = {199-213},
}