Н. А. Баженов, “О 2-вычислимо перечислимых степенях категоричности булевых алгебр с выделенным автоморфизмом”, Вестн. НГУ. Сер. матем., мех., информ., 2014, том 14, выпуск 1,страницы 19

Эта публикация цитируется в 1 статье

О 2-вычислимо перечислимых степенях категоричности булевых алгебр с выделенным автоморфизмом

Н. А. Баженов^ab

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

Аннотация: Доказано, что любая 2-вычислимо перечислимая тьюрингова степень является степенью категоричности некоторой вычислимой булевой алгебры с выделенным автоморфизмом.

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

УДК: 510.5+510.6+512.563

Поступила в редакцию: 26.07.2012