|
Сибирский математический журнал, 1984, том 25, номер 1, страницы 201–204
(Mi smj6819)
|
|
|
|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
Отдел заметок
Расширенные теории булевых алгебр
З. А. Дулатова
Аннотация:
Доказаны неразрешимость теории атомных булевых алгебр с автоморфизмом и неразрешимость теории класса атомных булевых алгебр с дополнительным предикатом, выделяющим атомную подалгебру такую, что для любого элемента алгебры существует наименьший элемент выделенной подалгебры, лежащий над ним. Последнее дает отрицательный ответ на вопрос Рубина.
Библ. 6.
Статья поступила: 20.01.1982
Образец цитирования:
З. А. Дулатова, “Расширенные теории булевых алгебр”, Сиб. матем. журн., 25:1 (1984), 201–204
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj6819 https://www.mathnet.ru/rus/smj/v25/i1/p201
|
Статистика просмотров: |
Страница аннотации: | 58 | PDF полного текста: | 20 |
|