Standard

The 2-Decidability of Boolean Algebras with One Distinguished Ideal. / Gaskova, M. n.

In: Algebra and Logic, 31.10.2025.

Research output: Contribution to journalArticlepeer-review

Harvard

APA

Vancouver

Gaskova MN. The 2-Decidability of Boolean Algebras with One Distinguished Ideal. Algebra and Logic. 2025 Oct 31. doi: 10.1007/s10469-025-09802-4

Author

BibTeX

@article{8c2e03a1e4464b2f91a4977b51820f78,
title = "The 2-Decidability of Boolean Algebras with One Distinguished Ideal",
abstract = "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.",
author = "Gaskova, {M. n.}",
note = "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 ",
year = "2025",
month = oct,
day = "31",
doi = "10.1007/s10469-025-09802-4",
language = "English",
journal = "Algebra and Logic",
issn = "0002-5232",
publisher = "Springer US",

}

RIS

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