The undecidability of the lattice of recursively enumerable sets. Handwritten Notes (1983)

by L A Harrington