Об 1-разрешимости булевых алгебр с одним выделенным идеалом Full article
| Journal |
Сибирский математический журнал
ISSN: 0037-4474 |
||
|---|---|---|---|
| Output data | Year: 2024, Volume: 65, Number: 5, Pages: 852-862 Pages count : 11 DOI: 10.33048/smzh.2024.65.507 | ||
| Tags | булева алгебра, вычислимая модель, разрешимая модель, nразрешимая модель, ограниченные теории булевых алгебр, идеал на булевых алгебрах, I-алгебра | ||
| Authors |
|
||
| Affiliations |
|
Funding (1)
| 1 | Sobolev Institute of Mathematics | FWNF-2022-0011 |
Abstract:
Получено описание 1-разрешимых булевых алгебр с одним выделенным идеалом в терминах вычислимости некоторого набора предикатов на данной алгебре, и показана минимальность полученных условий.
Cite:
Гаськова М.Н.
Об 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 РИНЦ
Translated:
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
Dates:
| Submitted: | Mar 22, 2024 |
| Accepted: | Jun 20, 2024 |
| Published print: | Sep 24, 2024 |
| Published online: | Sep 24, 2024 |
Identifiers:
| Elibrary: | 71962900 |
Citing:
Пока нет цитирований