English

The singleton degrees of the $\Sigma^0_2$ sets are not dense

Logic 2024-12-30 v1

Abstract

Answering an open question raised by Cooper, we show that there exist Δ20\Delta^0_2 sets DD and EE such that the singleton degree of EE is a minimal cover of the singleton degree of DD. This shows that the Σ20\Sigma^{0}_{2} singleton degrees, and the Δ20\Delta^{0}_{2} singleton degrees, are not dense (and consequently the Π20\Pi^0_2 QQ-degrees, and the Δ20\Delta^{0}_{2} QQ-degrees, are not dense). Moreover DD and EE can be built to lie in the same enumeration degree.

Keywords

Cite

@article{arxiv.2412.18991,
  title  = {The singleton degrees of the $\Sigma^0_2$ sets are not dense},
  author = {Thomas F. Kent and Keng Meng Ng and Andrea Sorbi},
  journal= {arXiv preprint arXiv:2412.18991},
  year   = {2024}
}