|
Алгебра и логика, 2013, том 52, номер 5, страницы 535–552
(Mi al601)
|
|
|
|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
О вычислимых нумерациях класса булевых алгебр с выделенными эндоморфизмами
Н. А. Баженовab a Ин-т матем. им. С. Л. Соболева СО РАН, пр. Ак. Коптюга, 4, г. Новосибирск, 630090, РОССИЯ
b Новосибирский гос. ун-т, ул. Пирогова, 2,
г. Новосибирск, 630090, РОССИЯ
Аннотация:
Рассматриваются вычислимые булевы алгебры, имеющие фиксированное конечное число $\lambda$ выделенных эндоморфизмов (кратко $E_\lambda$-алгебры). Показывается, что индексное множество $E_\lambda$-алгебр является $\Pi^0_2$-полным. Доказывается, что класс всех вычислимых $E_\lambda$-алгебр обладает $\Delta^0_3$-вычислимой и не имеет $\Delta^0_2$-вычислимой нумерации с точностью до вычислимого изоморфизма. Также для класса всех вычислимых $E_\lambda$-алгебр
исследуется существование гиперарифметических фридберговых нумераций с точностью до $\Delta^0_\alpha$-вычислимого изоморфизма.
Ключевые слова:
вычислимая булева алгебра с выделенными эндоморфизмами, вычислимая нумерация, фридбергова нумерация, индексное множество, проблема изоморфизма.
Поступило: 17.07.2013
Образец цитирования:
Н. А. Баженов, “О вычислимых нумерациях класса булевых алгебр с выделенными эндоморфизмами”, Алгебра и логика, 52:5 (2013), 535–552; Algebra and Logic, 52:5 (2013), 355–366
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al601 https://www.mathnet.ru/rus/al/v52/i5/p535
|
Статистика просмотров: |
Страница аннотации: | 278 | PDF полного текста: | 58 | Список литературы: | 68 | Первая страница: | 24 |
|