Аннотация:
Изучаются вычислимые представления проективных плоскостей. Доказывается Σ11Σ11-полнота проблемы изоморфизма в следующих классах проективных плоскостей: папповы проективные плоскости, дезарговы проективные плоскости, все проективные плоскости.
А. К. Войтов, “$\Delta^0_\alpha$-вычислимые нумерации классов проективных плоскостей”, Сиб. матем. журн., 59:2 (2018), 321–336; A. K. Voǐtov, “The $\Delta^0_\alpha$-computable enumerations of the classes of projective planes”, Siberian Math. J., 59:2 (2018), 252–263
Н. Т. Когабаев, “Сложность проблемы изоморфизма вычислимых свободных проективных плоскостей конечного ранга”, Сиб. матем. журн., 59:2 (2018), 378–395; N. T. Kogabaev, “Complexity of the isomorphism problem for computable free projective planes of finite rank”, Siberian Math. J., 59:2 (2018), 295–308
Н. Т. Когабаев, “О проблеме вложимости вычислимых проективных плоскостей”, Алгебра и логика, 56:1 (2017), 110–117; N. T. Kogabaev, “The embedding problem for computable projective planes”, Algebra and Logic, 56:1 (2017), 75–79