Skip to main content
1 of 2
Bjørn Kjos-Hanssen
  • 24.8k
  • 3
  • 58
  • 114

No, by the Arslanov completeness criterion $0'$ is only DNC relative to low sets. And PA implies DNC.

Bjørn Kjos-Hanssen
  • 24.8k
  • 3
  • 58
  • 114