On the lattice of recursively enumerable sets (0)

by A H Lachlan
Venue:Trans. Amer. Math. Soc