Automorphisms of the lattice of recursively enumerable sets, Part I: Maximal sets (1974)

by R Soare
Venue:Ann. of Math