Some New Lattice Constructions in High R. E. Degrees.

Heinrich Rolletschek
Published in: Math. Log. Q. (1995)