Assertion: pa degree | /r/HasProperty | the degrees of dnr 2 functions
Facets:
value: exactly
type: DEGREE
Source sentences:
text: Carl Jockusch and Robert Soare (1972) proved that the PA degrees are exactly the degrees of DNR 2 functions.