We study the cone avoidance and the upper cone avoidance of two substructures of $m$-introimmune Turing degrees. We show that the substructure of the $m$-introimmune Turing degrees satisfies the cone avoidance property, and that the substructure of the computably enumerable $m$-introimmune Turing degrees satisfies the upper cone avoidance property.
Cone avoidance of some Turing degrees
CINTIOLI, Patrizio
2017-01-01
Abstract
We study the cone avoidance and the upper cone avoidance of two substructures of $m$-introimmune Turing degrees. We show that the substructure of the $m$-introimmune Turing degrees satisfies the cone avoidance property, and that the substructure of the computably enumerable $m$-introimmune Turing degrees satisfies the upper cone avoidance property.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
cone avoidance of some Turing degrees.pdf
accesso aperto
Descrizione: articolo principale
Tipologia:
Versione Editoriale
Licenza:
PUBBLICO - Creative Commons
Dimensione
80.8 kB
Formato
Adobe PDF
|
80.8 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
