|
Сибирский математический журнал, 2004, том 45, номер 5, страницы 963–976
(Mi smj1130)
|
|
|
|
Эта публикация цитируется в 8 научных статьях (всего в 8 статьях)
Гиперарифметические булевы алгебры с выделенным идеалом
П. Е. Алаев Институт математики им. С. Л. Соболева СО РАН
Аннотация:
Доказывается общая теорема, позволяющая осуществлять переход от гиперарифметической булевой алгебры с выделенным идеалом к вычислимой булевой алгебре, связанной с исходной естественными алгебраическими операциями. Приводятся примеры.
Ключевые слова:
булева алгебра, вычислимость, конструктивная модель.
Статья поступила: 17.04.2003
Образец цитирования:
П. Е. Алаев, “Гиперарифметические булевы алгебры с выделенным идеалом”, Сиб. матем. журн., 45:5 (2004), 963–976; Siberian Math. J., 45:5 (2004), 795–805
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj1130 https://www.mathnet.ru/rus/smj/v45/i5/p963
|
Статистика просмотров: |
Страница аннотации: | 261 | PDF полного текста: | 101 | Список литературы: | 54 |
|