|
Алгебра и логика, 2001, том 40, номер 5, страницы 561–579
(Mi al236)
|
|
|
|
Эта публикация цитируется в 5 научных статьях (всего в 5 статьях)
Универсальная нумерация конструктивных $I$-алгебр
Н. Т. Когабаев Институт математики им. С. Л. Соболева СО РАН
Аннотация:
Изучаются конструктивные булевы алгебры с выделенными идеалами (в дальнейшем $I$-алгебры). Доказывается, что класс всех конструктивных $I$-алгебр строго вычислим, то есть в классе конструктивных $I$-алгебр существует главная вычислимая нумерация.
Ключевые слова:
конструктивная булева алгебра с выделенными идеалами, главная вычислимая нумерация.
Поступило: 24.11.1999
Образец цитирования:
Н. Т. Когабаев, “Универсальная нумерация конструктивных $I$-алгебр”, Алгебра и логика, 40:5 (2001), 561–579; Algebra and Logic, 40:5 (2001), 315–326
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al236 https://www.mathnet.ru/rus/al/v40/i5/p561
|
Статистика просмотров: |
Страница аннотации: | 285 | PDF полного текста: | 105 | Первая страница: | 1 |
|