Когабаев Н. Т.
Сложность проблемы изоморфизма вычислимых свободных проективных плоскостей конечного ранга

Изучаются вычислимые представления проективных плоскостей. Доказывается, что проблема изоморфизма в классе свободных проективных плоскостей конечного ранга является $m$-полны $\Delta_3^0$-множеством внутри класса.

N. T. Kogabaev
Complexity of the Isomorphism Problem for Computable Free Projective Planes of Finite Rank

Studying computable representations of projective planes, we prove that the isomorphism problem in the class of free projective planes of finite rank is an m-complete $\Delta_3^0$-set within the class.

DOI 10.17377/smzh.2018.59.213
Ключевые слова: вычислимая структура, вычислимое представление структуры, проблема изоморфизма, проективная плоскость, свободная проективная плоскость.

Свободный доступ к полным текстам предоставляется после 1 июля года, следующего за годом публикации