Research output: Contribution to journal › Article › peer-review
The 2-Decidability of Boolean Algebras with One Distinguished Ideal. / Gaskova, M. n.
In: Algebra and Logic, 31.10.2025.Research output: Contribution to journal › Article › peer-review
}
TY - JOUR
T1 - The 2-Decidability of Boolean Algebras with One Distinguished Ideal
AU - Gaskova, M. n.
N1 - The work was supported by the grant of the Russian Science Foundation No. 23-11-00170. Gaskova M. N. The 2-Decidability of Boolean Algebras with One Distinguished Ideal / M. N. Gaskova // Algebra and Logic. - 2025. DOI 10.1007/s10469-025-09802-4
PY - 2025/10/31
Y1 - 2025/10/31
N2 - We give a description of 2-decidable Boolean algebras with one distinguished ideal in terms of the computability of some set of predicates on a given algebra.
AB - We give a description of 2-decidable Boolean algebras with one distinguished ideal in terms of the computability of some set of predicates on a given algebra.
UR - https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=105020304535&origin=inward
U2 - 10.1007/s10469-025-09802-4
DO - 10.1007/s10469-025-09802-4
M3 - Article
JO - Algebra and Logic
JF - Algebra and Logic
SN - 0002-5232
ER -
ID: 71809970