On the 1-Decidability of Boolean Algebras with One Distinguished Ideal Научная публикация
| Журнал |
Siberian Mathematical Journal
ISSN: 0037-4466 , E-ISSN: 1573-9260 |
||
|---|---|---|---|
| Вых. Данные | Год: 2024, Том: 65, Номер: 5, Страницы: 1053-1061 Страниц : 9 DOI: 10.1134/s0037446624050070 | ||
| Ключевые слова | Boolean algebra, computable model, decidable model, n-decidable model, bounded theories of Boolean algebras, ideal on Boolean algebras, I-algebra | ||
| Авторы |
|
||
| Организации |
|
Информация о финансировании (1)
| 1 | Институт математики им. С.Л. Соболева СО РАН | FWNF-2022-0011 |
Реферат:
We describe the 1-decidable Boolean algebras with one distinguished ideal in terms of the computability of some set of predicates on the algebra and show the minimality of the conditions obtained.
Библиографическая ссылка:
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
Оригинальная:
Гаськова М.Н.
Об 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 РИНЦ
Даты:
| Поступила в редакцию: | 22 мар. 2024 г. |
| Принята к публикации: | 20 июн. 2024 г. |
| Опубликована в печати: | 25 сент. 2024 г. |
| Опубликована online: | 25 сент. 2024 г. |
Идентификаторы БД:
| Web of science: | WOS:001320442300008 |
| Scopus: | 2-s2.0-85204923730 |
| РИНЦ: | 69920883 |
| OpenAlex: | W4402841882 |