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

В работе рассматривается изолированность со стороны в различных степенных структурах, в частности, в $2$-вычислимо перечислимых $wtt$-степенях и низких тьюринговых степенях. Интуитивно, некоторая $2$-вычислимо перечислимая степень является изолированной со стороны, если все вычислимо перечислимые степени из ее нижнего конуса ограничены сверху некоторой вычислимо перечислимой степенью, несравнимой с данной. Доказывается, что произвольная собственная $2$-вычислимо перечислимая $wtt$-степень изолируется со стороны некоторой вычислимо-перечислимой $wtt$-степенью. Также показывается, что аналогичный результат верен для низких $2$-вычислимо перечислимых тьюринговых степеней.