Shore [1996], Lattice embeddings below a nonlow2 recursively enumerable degree (0)

by R G Downey, R A Shore
Venue:Israel J. Math