Assertion: turing degree | /r/HasAspect | partial order
Facets:
Source sentences:
text: The Turing degrees have a partial order ≤ defined so