Abstract:
We give sufficient conditions under which an upper semilattice of computably enumerable $\mathbf 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.