|
|
Алгебра и логика, 1984, том 23, номер 3, страницы 278–295
(Mi al1861)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Безатомные идеалы конструктивных булевых алгебр
С. П. Одинцов
Аннотация:
Построены примеры конструктивных булевых алгебр таких, что фактор-алгебра по безатомному идеалу неконструктивизируема. Приведена полная классификация атомных булевых алгебр с точки зрения существования неконструктивизируемой булевой алгебры, имеющей заданную фактор-алгебру по безатомному идеалу.
Поступило: 21.02.1984
Образец цитирования:
С. П. Одинцов, “Безатомные идеалы конструктивных булевых алгебр”, Алгебра и логика, 23:3 (1984), 278–295
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al1861 https://www.mathnet.ru/rus/al/v23/i3/p278
|
|