EMBEDDABILITY OF THE SEMILATTICE L-m(0) 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.