Аннотация:
Изучаются вычислимые представления проективных плоскостей. Доказывается, что класс всех папповых проективных плоскостей и класс всех дезарговых проективных плоскостей не имеют вычислимых нумераций (с точностью до вычислимого изоморфизма).
А. К. Войтов, “Δ0α-вычислимые нумерации классов проективных плоскостей”, Сиб. матем. журн., 59:2 (2018), 321–336; A. K. Voǐtov, “The Δ0α-computable enumerations of the classes of projective planes”, Siberian Math. J., 59:2 (2018), 252–263
Н. А. Баженов, “Теорема о ветвлении и вычислимая категоричность в иерархии Ершова”, Алгебра и логика, 54:2 (2015), 137–157; N. A. Bazhenov, “The branching theorem and computable categoricity in the Ershov hierarchy”, Algebra and Logic, 54:2 (2015), 91–104
Н. Т. Когабаев, “Теория проективных плоскостей полна относительно спектров степеней и эффективных размерностей”, Алгебра и логика, 54:5 (2015), 599–627; N. T. Kogabaev, “The theory of projective planes is complete with respect to degree spectra and effective dimensions”, Algebra and Logic, 54:5 (2015), 387–407