An extension of the recursively enumerable Turing degrees (2006)

by Stephen G. Simpson
Venue:Journal of the London Mathematical Society
Citations:22 - 16 self