|
$\Delta^0_\alpha$-вычислимые нумерации классов проективных плоскостей
А. К. Войтов Новосибирский гос. университет, ул. Пирогова, 1, Новосибирск 630090
Аннотация:
Изучаются вычислимые представления проективных плоскостей. Доказывается, что у $K^c/_\simeq$ нет гиперарифметической фридберговой нумерации и существует фридбергова $\Delta^0_{\alpha+3}$-вычислимая нумерация с точностью до $\Delta^0_\alpha$-вычислимого изоморфизма, где $K$ – класс папповых, дезарговых или всех проективных плоскостей.
Ключевые слова:
паппова проективная плоскость, дезаргова проективная плоскость, свободно порожденная проективная плоскость, вычислимая модель, вычислимый класс моделей, вычислимый изоморфизм.
Статья поступила: 19.01.2017
Образец цитирования:
А. К. Войтов, “$\Delta^0_\alpha$-вычислимые нумерации классов проективных плоскостей”, Сиб. матем. журн., 59:2 (2018), 321–336; Siberian Math. J., 59:2 (2018), 252–263
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj2974 https://www.mathnet.ru/rus/smj/v59/i2/p321
|
Статистика просмотров: |
Страница аннотации: | 169 | PDF полного текста: | 33 | Список литературы: | 34 |
|