Definability in the enumeration degrees (1997)

by Theodore A Slaman, W Hugh Woodin
Venue:Arch. Math. Logic