Assertion: turing degree | /r/HasProperty | a set of natural numbers
Facets:
value: in the degree
type: OTHER
Source sentences:
text: A Turing degree is defined to be a PA degree if there is a set of natural numbers in the degree that computes a completion of Peano Arithmetic.