Изолированные 2-вычислимо перечислимые $Q$-степени

В работе показано, что для каждой пары вычислимо перечислимых степеней $\mathbf a<_\mathbf Q\mathbf b$ существует собственно 2-вычислимо перечислимая степень $\mathbf d$, $\mathbf a<_\mathbf Q\mathbf d<_\mathbf Q\mathbf b$, такая, что $\mathbf a$ изолирует $\mathbf d$ снизу и $\mathbf b$ изолирует $\mathbf d$ сверху. Как следствия получены результаты, что существует 2-вычислимо перечислимая степень, которая $Q$-несравнима ни с какой нетривиальной (отличной от $\boldsymbol 0$ и $\boldsymbol0'$) вычислимо перечислимой степенью, и что любая нетривиальная вычислимо перечислимая степень изолирует некоторую 2-вычислимо перечислимую степень снизу и некоторую 2-вычислимо перечислимую степень сверху.