High (computability)
From Wikipedia, the free encyclopedia
In computability theory, a Turing degree [X] is high if it is computable in 0′, and the Turing jump [X′] is 0′′, which is the greatest possible degree in terms of Turing reducibility for the jump of a set which is computable in 0′.
[edit] See also
[edit] References
Soare, R. Recursively enumerable sets and degrees. Perspectives in Mathematical Logic. Springer-Verlag, Berlin, 1987. ISBN 3-540-15299-7
 |
This mathematical logic-related article is a stub. You can help Wikipedia by expanding it. |
