Woodin [1986], Definability in the Turing degrees (0)

by T A Slaman, W H
Venue:Illinois J. Math