We show that there exist downwards properly \Sigma^0_2 (in fact noncuppable) e-degrees that are not high. We also show that every high e-degree bounds a noncuppable e-degree.
Giorgi, M., Sorbi, A., Yang, Y. (2006). Properly Σ02 enumeration degrees and the high/low hierarchy. THE JOURNAL OF SYMBOLIC LOGIC, 71(4), 1125-1144 [10.2178/jsl/1164060448].
Properly Σ02 enumeration degrees and the high/low hierarchy
SORBI, ANDREA;
2006-01-01
Abstract
We show that there exist downwards properly \Sigma^0_2 (in fact noncuppable) e-degrees that are not high. We also show that every high e-degree bounds a noncuppable e-degree.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
highlow-jsl.pdf
non disponibili
Descrizione: Articolo unico
Tipologia:
PDF editoriale
Licenza:
NON PUBBLICO - Accesso privato/ristretto
Dimensione
217.84 kB
Formato
Adobe PDF
|
217.84 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/9162