Assertion: pa degree | /r/HasProperty | closed
Facets:
value: upward
type: DEGREE
value: in the turing degrees
type: OTHER
Source sentences:
text: The PA degrees are upward closed in the Turing degrees: if a is a PA degree and a ≤ T b then b is a PA degree.