Об 1-разрешимости булевых алгебр с одним выделенным идеалом Научная публикация
| Журнал |
Сибирский математический журнал
ISSN: 0037-4474 |
||
|---|---|---|---|
| Вых. Данные | Год: 2024, Том: 65, Номер: 5, Страницы: 852-862 Страниц : 11 DOI: 10.33048/smzh.2024.65.507 | ||
| Ключевые слова | булева алгебра, вычислимая модель, разрешимая модель, nразрешимая модель, ограниченные теории булевых алгебр, идеал на булевых алгебрах, I-алгебра | ||
| Авторы |
|
||
| Организации |
|
Информация о финансировании (1)
| 1 | Институт математики им. С.Л. Соболева СО РАН | FWNF-2022-0011 |
Реферат:
Получено описание 1-разрешимых булевых алгебр с одним выделенным идеалом в терминах вычислимости некоторого набора предикатов на данной алгебре, и показана минимальность полученных условий.
Библиографическая ссылка:
Гаськова М.Н.
Об 1-разрешимости булевых алгебр с одним выделенным идеалом
Сибирский математический журнал. 2024. Т.65. №5. С.852-862. DOI: 10.33048/smzh.2024.65.507 РИНЦ
Об 1-разрешимости булевых алгебр с одним выделенным идеалом
Сибирский математический журнал. 2024. Т.65. №5. С.852-862. DOI: 10.33048/smzh.2024.65.507 РИНЦ
Переводная:
Gaskova M.N.
On the 1-Decidability of Boolean Algebras with One Distinguished Ideal
Siberian Mathematical Journal. 2024. V.65. N5. P.1053-1061. DOI: 10.1134/s0037446624050070 WOS Scopus РИНЦ OpenAlex
On the 1-Decidability of Boolean Algebras with One Distinguished Ideal
Siberian Mathematical Journal. 2024. V.65. N5. P.1053-1061. DOI: 10.1134/s0037446624050070 WOS Scopus РИНЦ OpenAlex
Даты:
| Поступила в редакцию: | 22 мар. 2024 г. |
| Принята к публикации: | 20 июн. 2024 г. |
| Опубликована в печати: | 24 сент. 2024 г. |
| Опубликована online: | 24 сент. 2024 г. |
Идентификаторы БД:
| РИНЦ: | 71962900 |
Цитирование в БД:
Пока нет цитирований