We show that no nontrivial principal ideal of the enumeration degrees is linearly ordered: in fact, below every nonzero enumeration degree one can embed every countable partial order. The result can be relativized above any total degree: if a, b are enumeration degrees, with a total, and a < b, then in the degree interval (a, b), one can embed every countable partial order.
Slaman, T.A., Sorbi, A. (2014). A note on initial segments of the enumeration degrees. THE JOURNAL OF SYMBOLIC LOGIC, 79(2), 633-643 [10.1017/jsl.2013.1].
A note on initial segments of the enumeration degrees
SORBI, ANDREA
2014-01-01
Abstract
We show that no nontrivial principal ideal of the enumeration degrees is linearly ordered: in fact, below every nonzero enumeration degree one can embed every countable partial order. The result can be relativized above any total degree: if a, b are enumeration degrees, with a total, and a < b, then in the degree interval (a, b), one can embed every countable partial order.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
initial.pdf
non disponibili
Descrizione: Articolo unico
Tipologia:
PDF editoriale
Licenza:
NON PUBBLICO - Accesso privato/ristretto
Dimensione
292.98 kB
Formato
Adobe PDF
|
292.98 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/46787