|
Математические заметки, 1988, том 44, выпуск 6, страницы 750–757
(Mi mzm4198)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
О конструктивных булевых алгебрах
В. Д. Дзгоев
Аннотация:
С помощью техники деревьев, по конструктивной булевой алгебре и ее идеалу, строится сильно конструктивная атомная булева алгебра, фактор которой, по идеалу Фреше, изоморфен фактору исходной алгебры по исходному идеалу. Как следствие получено достаточное условие сильной конструктивизируемости. Библиогр. 7 назв.
Поступило: 28.08.1985
Образец цитирования:
В. Д. Дзгоев, “О конструктивных булевых алгебрах”, Матем. заметки, 44:6 (1988), 750–757; Math. Notes, 44:6 (1988), 896–901
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mzm4198 https://www.mathnet.ru/rus/mzm/v44/i6/p750
|
Статистика просмотров: |
Страница аннотации: | 160 | PDF полного текста: | 71 | Первая страница: | 1 |
|