Н. Т. Когабаев, “$\Pi^1_1$-полнота проблемы вычислимой категоричности проективных плоскостей”, Алгебра и логика, 2016, том 55, номер 4,страницы 432

$\Pi^1_1$-полнота проблемы вычислимой категоричности проективных плоскостей

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

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

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

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

УДК: 510.53+514.146

Поступило: 27.04.2016
Окончательный вариант: 24.06.2016

DOI: 10.17377/alglog.2016.55.403