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.
2014
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].
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