Об $m$-степенях простых множеств

Доказано существование рекурсивно перечислимых (р. п.) множеств с ретрассируемыми жесткими дополнениями, и если $A$ такое множество, то
(а) $B\leqslant_{m}A\Longrightarrow$ $m$-степень $B$ неминимальная;
(б) ($\exists B$ р. п.) ($m$-степени $A$ и $B$ не имеют точной нижней грани).
Показано также, что р. п. множество $R$ с бесконечным дополнением $r$-максимально, если и только если
($\forall A$ р. п.) ($R\subseteq A\&\overline{A}$, $R\setminus A$ бесконечны $\Longrightarrow$ $R$ и $A$ $m$-несравнимы.
Приведены другие примеры простых множеств, $m$-степени р.п. надмножеств которых, обладают теми или иными свойствами.