Assertion: degree | /r/HasProperty | x′
Facets:
Source sentences:
text: X. The Turing jump of a degree [X] is defined to be the degree [X′]; this is a valid definition because X′ ≡ T Y′ whenever X ≡ T Y. A key example is 0′, the degree of the halting problem.