|
Об 1-разрешимости булевых алгебр с одним выделенным идеалом
М. Н. Гаськова Институт математики им. С. Л. Соболева СО РАН, пр. Академика Коптюга, 4, Новосибирск 630090
Аннотация:
Получено описание 1-разрешимых булевых алгебр с одним выделенным идеалом в терминах вычислимости некоторого набора предикатов на данной алгебре, и показана минимальность полученных условий.
Ключевые слова:
булева алгебра, вычислимая модель, разрешимая модель, $n$-разрешимая модель, ограниченные теории булевых алгебр, идеал на булевых алгебрах, $\mathrm{I}$-алгебра.
Статья поступила: 22.03.2024 Окончательный вариант: 19.06.2024 Принята к печати: 20.06.2024
Образец цитирования:
М. Н. Гаськова, “Об 1-разрешимости булевых алгебр с одним выделенным идеалом”, Сиб. матем. журн., 65:5 (2024), 852–862
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj7896 https://www.mathnet.ru/rus/smj/v65/i5/p852
|
Статистика просмотров: |
Страница аннотации: | 25 | PDF полного текста: | 1 | Список литературы: | 14 | Первая страница: | 7 |
|