Тьюринговы спектры групп автоморфизмов рационального порядка

Доказывается, что группа всех $\mathbf d$-вычислимых автоморфизмов порядка по типу рациональных чисел имеет тьюрингову степень ${\mathbf d}''$.