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.
2026
Chitaia, I., Meng Ng, K., Omanadze, R., Sorbi, A. (2026). Conjunctive reducibilities and completeness [10.48550/arXiv.2606.00845].
File in questo prodotto:
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11365/1318975