Индексное множество автоустойчивых относительно сильных конструктивизаций линейных порядков

Доказано, что вычислимый ординал $\alpha$ является автоустойчивым относительно сильных конструктивизаций в том и только том случае, когда $\alpha<\omega^{\omega+1}$. Получена точная оценка алгоритмической сложности для класса сильно конструктивизируемых линейных порядков, являющихся автоустойчивыми относительно сильных конструктивизаций.