|
Вестник НГУ. Серия: Математика, механика, информатика, 2013, том 13, выпуск 2, страницы 3–14
(Mi vngu137)
|
|
|
|
Эта публикация цитируется в 5 научных статьях (всего в 5 статьях)
О $\Delta^0_2$-категоричности булевых алгебр
Н. А. Баженовab a Институт математики им. С. Л. Соболева СО РАН, пр. Акад. Коптюга, 4, Новосибирск, 630090, Россия
b Новосибирский государственный университет, ул. Пирогова, 2, Новосибирск, 630090, Россия
Аннотация:
Доказано, что для вычислимых булевых алгебр понятия $\Delta^0_2$-категоричности и относительной $\Delta^0_2$-категоричности совпадают. В частности, отсюда следует, что для любой тьюринговой степени $\mathbf{d}<\mathbf{0}'$ вычислимая булева алгебра $\mathbf{d}$-вычислимо категорична тогда и только тогда, когда она вычислимо категорична.
Ключевые слова:
булева алгебра, $\Delta^0_2$-категоричность, вычислимая категоричность.
Поступила в редакцию: 23.07.2010
Образец цитирования:
Н. А. Баженов, “О $\Delta^0_2$-категоричности булевых алгебр”, Вестн. НГУ. Сер. матем., мех., информ., 13:2 (2013), 3–14
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/vngu137 https://www.mathnet.ru/rus/vngu/v13/i2/p3
|
Статистика просмотров: |
Страница аннотации: | 252 | PDF полного текста: | 60 | Список литературы: | 54 | Первая страница: | 10 |
|