О $btt$-сводимости

Доказывается, что если множества $A$ и $B$ нерекурсивны, $\overline{A}$ или $\overline{B}$ иммунно, $\overline{B}$ рекурсивно-перечислимое (р.п.) множество и $A\mathop{\leqslant}\limits_{btt}B$, то для подходящего нерекурсивного р.п. множества $C$ выполняется $C\mathop{\leqslant}\limits_{btt(1)}A$ и $C\mathop{\leqslant}\limits_{q}B$. Отсюда, используя существование полурекурсивного р.п. множества минимальной $m$-степени, доказываем существование множества минимальной $btt$-степени. Доказано также, что $r$-максимальные множества $A$ и $B$ $btt$-несравнимы, если множества $\overline{A}\cap\overline{B}$ и $(A\setminus B)\cup(B\setminus A)$ бесконечны. Замечено, что существует р.п. множество, $btt$-несравнимое с простыми множествами, а рекурсивно неотделимые р.п. множества не могут $btt$-сводиться к простым множествам.