169
click to vote
CIE
2009
Springer
16 years 11 days ago
2009
Springer
This paper studies the Turing degrees of various properties defined for universal numberings, that is, for numberings which list all partial-recursive functions. In particular pro...