We show that the diamond lattice can be embedded into the \Sigma^0_2 enumeration degrees preserving 0 and 1, with atoms one high and \Pi^0_1, and the other one low.
Sorbi, A., Wu, G., Yang, Y. (2010). Diamond embeddings into the enumeration degrees. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 20, 799-811 [10.1017/S0960129510000216].
Diamond embeddings into the enumeration degrees
SORBI, ANDREA;
2010-01-01
Abstract
We show that the diamond lattice can be embedded into the \Sigma^0_2 enumeration degrees preserving 0 and 1, with atoms one high and \Pi^0_1, and the other one low.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
displayFulltext.pdf
non disponibili
Descrizione: Articolo unico
Tipologia:
PDF editoriale
Licenza:
NON PUBBLICO - Accesso privato/ristretto
Dimensione
141.56 kB
Formato
Adobe PDF
|
141.56 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/8831