|
Алгебра и логика, 2001, том 40, номер 2, страницы 174–191
(Mi al215)
|
|
|
|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
Рекурсивные однородные булевы алгебры
С. Ю. Подзоров
Аннотация:
А. С. Морозов описал типы изоморфизма счетных однородных булевых алгебр. Им же был решен вопрос о разрешимости этих алгебр: счетная однородная булева алгебра имеет разрешимое представление тогда и только тогда, когда множество, характеризующее тип изоморфизма этой алгебры, лежит в классе $\Pi^0_2$ арифметической иерархии. Вопрос о характеризации однородных булевых алгебр, имеющих рекурсивное представление, оставался открытым. Дается частичный ответ на этот вопрос: находятся точная верхняя и точная нижняя оценки множества, характеризующего тип изоморфизма такой алгебры, в терминах иерархии Фейнера.
Ключевые слова:
рекурсивные однородные булевы алгебры, арифметическая иерархия, гиперарифметическая иерархия.
Поступило: 30.08.1999
Образец цитирования:
С. Ю. Подзоров, “Рекурсивные однородные булевы алгебры”, Алгебра и логика, 40:2 (2001), 174–191; Algebra and Logic, 40:2 (2001), 96–105
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al215 https://www.mathnet.ru/rus/al/v40/i2/p174
|
Статистика просмотров: |
Страница аннотации: | 361 | PDF полного текста: | 199 | Первая страница: | 1 |
|