$\Delta^0_\alpha$-вычислимые нумерации классов проективных плоскостей

Изучаются вычислимые представления проективных плоскостей. Доказывается, что у $K^c/_\simeq$ нет гиперарифметической фридберговой нумерации и существует фридбергова $\Delta^0_{\alpha+3}$-вычислимая нумерация с точностью до $\Delta^0_\alpha$-вычислимого изоморфизма, где $K$ – класс папповых, дезарговых или всех проективных плоскостей.