On the 1-Decidability of Boolean Algebras with One Distinguished Ideal Full article
| Journal |
Siberian Mathematical Journal
ISSN: 0037-4466 , E-ISSN: 1573-9260 |
||
|---|---|---|---|
| Output data | Year: 2024, Volume: 65, Number: 5, Pages: 1053-1061 Pages count : 9 DOI: 10.1134/s0037446624050070 | ||
| Tags | Boolean algebra, computable model, decidable model, n-decidable model, bounded theories of Boolean algebras, ideal on Boolean algebras, I-algebra | ||
| Authors |
|
||
| Affiliations |
|
Funding (1)
| 1 | Sobolev Institute of Mathematics | FWNF-2022-0011 |
Abstract:
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.
Cite:
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
Original:
Гаськова М.Н.
Об 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 РИНЦ
Dates:
| Submitted: | Mar 22, 2024 |
| Accepted: | Jun 20, 2024 |
| Published print: | Sep 25, 2024 |
| Published online: | Sep 25, 2024 |
Identifiers:
| Web of science: | WOS:001320442300008 |
| Scopus: | 2-s2.0-85204923730 |
| Elibrary: | 69920883 |
| OpenAlex: | W4402841882 |