Recursive enumerability and the jump operator (1963)

by G E Sacks
Venue:Trans. American Math. Society