Let $(I_m,\le)$ be the partial ordering of the $m$-introimmune r.e. Turing degrees. We wonder if such structure is an upper semi-lattice. We give a partial answer, by embedding some Boolean algebras into $(I_m,\le)$.
An Embedding into a Substructure of the r.e. Turing Degrees
CINTIOLI, Patrizio
2015-01-01
Abstract
Let $(I_m,\le)$ be the partial ordering of the $m$-introimmune r.e. Turing degrees. We wonder if such structure is an upper semi-lattice. We give a partial answer, by embedding some Boolean algebras into $(I_m,\le)$.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
an embedding into a substructure.pdf
accesso aperto
Descrizione: Articolo principale
Tipologia:
Versione Editoriale
Licenza:
PUBBLICO - Creative Commons
Dimensione
104.03 kB
Formato
Adobe PDF
|
104.03 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
