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


  •  Patrizio Cintioli    

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


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