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