Аннотация:
Изучаются вычислимые представления проективных плоскостей. Доказывается, что проблема изоморфизма в классе свободных проективных плоскостей конечного ранга является m-полным Δ03-множеством внутри класса.
Ключевые слова:
вычислимая структура, вычислимое представление структуры, проблема изоморфизма, проективная плоскость, свободная проективная плоскость.
Работа выполнена при финансовой поддержке Совета по грантам президента РФ и государственной поддержке ведущих научных школ (код проекта НШ-5913.2018.1) и Российского фонда фундаментальных исследований (код проекта 17-01-00247).