|
$\Pi^1_1$-полнота проблемы вычислимой категоричности проективных плоскостей
Н. Т. Когабаевab a Ин-т матем. им. С. Л. Соболева СО РАН, пр. Ак. Коптюга, 4, г. Новосибирск, 630090, РОССИЯ
b Новосибирский гос. ун-т, ул. Пирогова, 2, г. Новосибирск, 630090, РОССИЯ
Аннотация:
Изучаются вычислимые представления проективных плоскостей. Доказывается $\Pi^1_1$-полнота проблемы вычислимой категоричности в следующих классах проективных плоскостей: папповы проективные плоскости, дезарговы проективные плоскости, все проективные плоскости.
Ключевые слова:
вычислимая категоричность, вычислимая модель, вычислимая размерность, дезаргова проективная плоскость, паппова проективная плоскость, проективная плоскость.
Поступило: 27.04.2016 Окончательный вариант: 24.06.2016
Образец цитирования:
Н. Т. Когабаев, “$\Pi^1_1$-полнота проблемы вычислимой категоричности проективных плоскостей”, Алгебра и логика, 55:4 (2016), 432–440; Algebra and Logic, 55:4 (2016), 283–288
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al750 https://www.mathnet.ru/rus/al/v55/i4/p432
|
Статистика просмотров: |
Страница аннотации: | 229 | PDF полного текста: | 23 | Список литературы: | 38 | Первая страница: | 9 |
|