Embeddability of the Semilattice Lm0 in Rogers Semilattices

详细

We give sufficient conditions under which an upper semilattice of computably enumerable m-degrees is isomorphic to an ideal of a Rogers semilattice of a two-element family of sets in the Ershov hierarchy. It is shown that the given conditions are not necessary.