1-reducibility inside an m-degree with a maximal set
Eberhard Herrmann · Journal of Symbolic Logic · 1992
Abstract The structure of the 1-degrees included in an m-degree with a maximal set together with the 1-reducibility relation is characterized. For this a special sublattice of the lattice of recursively enumerable sets under the set-inclusion is used.