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

by R Downey
Venue:Annals Pure and Appl. Logic