Lattice nonembeddings and initial segments of the recursively enumerable degrees (1990)

by Rodney G Downey
Venue:Ann. Pure Appl. Logic