|
Эта публикация цитируется в 15 научных статьях (всего в 15 статьях)
О степенях автоустойчивости относительно сильных конструктивизаций для булевых алгебр
Н. А. Баженовabc a Ин-т матем. им. С.Л. Соболева СО РАН, пр. Ак. Коптюга, 4, г. Новосибирск, 630090, РОССИЯ
b Новосибирский гос. ун-т, ул. Пирогова, 2, г. Новосибирск, 630090, РОССИЯ
c Казанский федерал. ун-т, ул. Кремлёвская, 18, г. Казань, 420008, РОССИЯ
Аннотация:
Доказывается, что для любого вычислимого ординала $\alpha$ тьюрингова степень $\mathbf0^{(\alpha)}$ является степенью автоустойчивости некоторой вычислимой булевой алгебры и степенью автоустойчивости относительно сильных конструктивизаций для некоторой разрешимой булевой алгебры. Показывается, что булева алгебра Харрисона не имеет степени автоустойчивости относительно сильных конструктивизаций. Устанавливается, что индексное множество разрешимых булевых алгебр, имеющих степень автоустойчивости относительно сильных конструктивизаций, является $\Pi^1_1$-полным.
Ключевые слова:
автоустойчивость, булева алгебра, автоустойчивость относительно сильных конструктивизаций, степень автоустойчивости, степень категоричности, индексное множество.
Поступило: 07.05.2014 Окончательный вариант: 03.12.2015
Образец цитирования:
Н. А. Баженов, “О степенях автоустойчивости относительно сильных конструктивизаций для булевых алгебр”, Алгебра и логика, 55:2 (2016), 133–155; Algebra and Logic, 55:2 (2016), 87–102
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al735 https://www.mathnet.ru/rus/al/v55/i2/p133
|
Статистика просмотров: |
Страница аннотации: | 253 | PDF полного текста: | 31 | Список литературы: | 42 | Первая страница: | 6 |
|