An Embedding into a Substructure of the r.e. Turing Degrees

  •  Patrizio Cintioli    


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 in $(I_m,\le)$.

This work is licensed under a Creative Commons Attribution 4.0 License.