|
Алгебра и логика, 1982, том 21, номер 2, страницы 193–203
(Mi al1766)
|
|
|
|
Сильная конструктивизируемость счетных насыщенных булевых алгебр
А. С. Морозов
Аннотация:
Доказано существование счетного насыщенного расширения у любой счетной булевой алгебры, в явном виде построены все счетные насыщенные булевы алгебры как алгебры над некоторыми счетными порядками. На основании этого доказана их сильная конструктивизируемость. Найдены критерии насыщенности и однородности счетных булевых алгебр. Попутно получены некоторые результаты о продолжении изоморфных вложений булевых алгебр.
Поступило: 26.11.1980
Образец цитирования:
А. С. Морозов, “Сильная конструктивизируемость счетных насыщенных булевых алгебр”, Алгебра и логика, 21:2 (1982), 193–203
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al1766 https://www.mathnet.ru/rus/al/v21/i2/p193
|
Статистика просмотров: |
Страница аннотации: | 79 | PDF полного текста: | 29 |
|