Н. Т. Когабаев, “Сложность проблемы изоморфизма вычислимых проективных плоскостей”, Вестн. НГУ. Сер. матем., мех., информ., 2013, том 13, выпуск 1,страницы 68

Эта публикация цитируется в 3 статьях

Сложность проблемы изоморфизма вычислимых проективных плоскостей

Н. Т. Когабаев^ab

^a Институт математики им. С. Л. Соболева СО РАН, пр. Акад. Коптюга, 4, Новосибирск, 630090, Россия
^b Новосибирский государственный университет, ул. Пирогова, 2, Новосибирск, 630090, Россия

Аннотация: Изучаются вычислимые представления проективных плоскостей. Доказывается $\Sigma^1_1$-полнота проблемы изоморфизма в следующих классах проективных плоскостей: папповы проективные плоскости, дезарговы проективные плоскости, все проективные плоскости.

Ключевые слова: проективная плоскость, паппова проективная плоскость, дезаргова проективная плоскость, вычислимая модель, проблема изоморфизма.

УДК: 510.53+514.146

Поступила в редакцию: 07.05.2012