Skip to main content
Added meaning of DNC
Source Link
Ben Webster
  • 44.7k
  • 12
  • 126
  • 260

No, by the Arslanov completeness criterion $0'$ is only DNC (Diagonally non-computable) relative to low sets. And PA implies DNC.

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

No, by the Arslanov completeness criterion $0'$ is only DNC (Diagonally non-computable) relative to low sets. And PA implies DNC.

Source Link
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.