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)$.
2015
262
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11581/387520
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact