|
Алгебра и логика, 1986, том 25, номер 3, страницы 326–346
(Mi al1944)
|
|
|
|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
О неразрешимости теорий булевых алгебр с выделенным идеалом
Д. Е. Пальчунов
Аннотация:
Доказывается, что счетная булева алгебра с произвольным выделенным идеалом имеет разрешимую теорию тогда и только тогда, когда эта алгебра суператомна. Построены контрпримеры для несчетного случая и для случая двух и более выделенных идеалов.
Поступило: 21.05.1985
Образец цитирования:
Д. Е. Пальчунов, “О неразрешимости теорий булевых алгебр с выделенным идеалом”, Алгебра и логика, 25:3 (1986), 326–346
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al1944 https://www.mathnet.ru/rus/al/v25/i3/p326
|
|