Степени автоустойчивости простых булевых алгебр

Исследуется понятие алгоритмической сложности изоморфизмов между вычислимыми копиями булевых алгебр. Находятся степени автоустойчивости для всех простых булевых алгебр. Показывается, что для любых ординалов $\alpha$ и $\beta$ с условием $0\le\alpha\le\beta\le\omega$ существует разрешимая модель, для которой $\mathbf0^{(\alpha)}$ является степенью автоустойчивости относительно сильных конструктивизаций, а $\mathbf0^{(\beta)}$ – степенью автоустойчивости. Доказывается, что для любого ненулевого ординала $\beta\le\omega$ существует разрешимая модель, у которой нет степени автоустойчивости относительно сильных конструктивизаций, а $\mathbf0^{(\beta)}$ является степенью автоустойчивости.