In this article we study the notion of completeness for conjunctive reducibilities. We investigate the relationship between c-completeness and r-completeness of computably enumerable (c.e.) sets with respect to various strong reducibilities ¤r. By using simplicity properties of sets, we prove that there exist c.e. sets that are simultaneously Q-complete and bd-complete, yet fail to be c-complete. Similarly, there exist c.e. sets that are simultaneously Q-complete and bwttcomplete (respectively, btt-complete) but not c-complete. Furthermore, we study two restrictions of c-reducibility, namely c1- and c1,N-reducibility, and show that they are distinct on the c.e. sets. Nevertheless, we prove that the notions of completeness for c, c1, and c1,N coincide.
Chitaia, I., Meng Ng, K., Omanadze, R., Sorbi, A. (2026). Conjunctive reducibilities and completeness [10.48550/arXiv.2606.00845].
Conjunctive reducibilities and completeness
Andrea Sorbi
2026-01-01
Abstract
In this article we study the notion of completeness for conjunctive reducibilities. We investigate the relationship between c-completeness and r-completeness of computably enumerable (c.e.) sets with respect to various strong reducibilities ¤r. By using simplicity properties of sets, we prove that there exist c.e. sets that are simultaneously Q-complete and bd-complete, yet fail to be c-complete. Similarly, there exist c.e. sets that are simultaneously Q-complete and bwttcomplete (respectively, btt-complete) but not c-complete. Furthermore, we study two restrictions of c-reducibility, namely c1- and c1,N-reducibility, and show that they are distinct on the c.e. sets. Nevertheless, we prove that the notions of completeness for c, c1, and c1,N coincide.| File | Dimensione | Formato | |
|---|---|---|---|
|
completeness-CNOS.pdf
non disponiibile
Descrizione: file pdf
Tipologia:
Pre-print
Licenza:
NON PUBBLICO - Accesso privato/ristretto
Dimensione
325.76 kB
Formato
Adobe PDF
|
325.76 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
https://hdl.handle.net/11365/1318975
