The degree of unsolvability of a real number (2001)

by A J Dunlop, M B Pour-El
Venue:Computability and Complexity and Rettinger in Analysis, volume 2064 of LNCS