Аннотация:
Изучаются вычислимые проективные плоскости. Устанавливается, что свободная проективная плоскость счётного ранга в некотором несущественном обогащении является неограниченной. Отсюда следует, что свободная проективная плоскость счётного ранга имеет бесконечную вычислимую размерность. Доказывается, что класс всех вычислимых проективных плоскостей невычислим (с точностью до вычислимого изоморфизма).
А. К. Войтов, “Δ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
Н. Т. Когабаев, “Свободно порождённые проективные плоскости конечной вычислимой размерности”, Алгебра и логика, 55:6 (2016), 704–737; N. T. Kogabaev, “Freely generated projective planes with finite computable dimension”, Algebra and Logic, 55:6 (2017), 461–484
Н. А. Баженов, “Теорема о ветвлении и вычислимая категоричность в иерархии Ершова”, Алгебра и логика, 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:2 (2013), 325–335; N. T. Kogabaev, “Noncomputability of classes of pappian and desarguesian projective planes”, Siberian Math. J., 54:2 (2013), 247–255
Н. А. Баженов, “О вычислимых нумерациях класса булевых алгебр с выделенными эндоморфизмами”, Алгебра и логика, 52:5 (2013), 535–552; N. A. Bazhenov, “Computable numberings of the class of Boolean algebras with distinguished endomorphisms”, Algebra and Logic, 52:5 (2013), 355–366
Цитирование в формате AMSBIB
Обратная связь: