An Embedding into a Substructure of the r.e. Turing Degrees
Patrizio Cintioli · Journal of Mathematics Research · 2015
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)$.