|
Вестник НГУ. Серия: Математика, механика, информатика, 2014, том 14, выпуск 1, страницы 19–27
(Mi vngu323)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
О 2-вычислимо перечислимых степенях категоричности булевых алгебр с выделенным автоморфизмом
Н. А. Баженовab a Институт математики им. С. Л. Соболева СО РАН, пр. Акад. Коптюга, 4, Новосибирск, 630090, Россия
b Новосибирский государственный университет, ул. Пирогова, 2, Новосибирск, 630090, Россия
Аннотация:
Доказано, что любая 2-вычислимо перечислимая тьюрингова степень является степенью категоричности некоторой вычислимой булевой алгебры с выделенным автоморфизмом.
Ключевые слова:
булева алгебра с выделенным автоморфизмом, вычислимая категоричность, спектр категоричности, степень категоричности.
Поступила в редакцию: 26.07.2012
Образец цитирования:
Н. А. Баженов, “О 2-вычислимо перечислимых степенях категоричности булевых алгебр с выделенным автоморфизмом”, Вестн. НГУ. Сер. матем., мех., информ., 14:1 (2014), 19–27; J. Math. Sci., 211:6 (2015), 738–746
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/vngu323 https://www.mathnet.ru/rus/vngu/v14/i1/p19
|
Статистика просмотров: |
Страница аннотации: | 234 | PDF полного текста: | 38 | Список литературы: | 53 | Первая страница: | 8 |
|