|
Алгебра и логика, 1998, том 37, номер 5, страницы 499–521
(Mi al2443)
|
|
|
|
Эта публикация цитируется в 8 научных статьях (всего в 8 статьях)
Конструктивизируемость булевых алгебр элементарной характеристики $(1,0,1)$
В. Н. Власов г. Новосибирск
Аннотация:
Исследуются проблемы нахождения критерия сильной конструктивизируемости булевых алгебр. Приводится пример конструктивной, но не сильно конструктивизируемой, булевой алгебры характеристики $(1,0,1)$ с разрешимым множеством атомов и дается обобщение этой конструкции на случай произвольной характеристики $(k+1,0,1)$.
Поступило: 19.12.1996 Окончательный вариант: 06.05.1998
Образец цитирования:
В. Н. Власов, “Конструктивизируемость булевых алгебр элементарной характеристики $(1,0,1)$”, Алгебра и логика, 37:5 (1998), 499–521
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al2443 https://www.mathnet.ru/rus/al/v37/i5/p499
|
Статистика просмотров: |
Страница аннотации: | 25 | PDF полного текста: | 3 |
|