The 2-Decidability of Boolean Algebras with One Distinguished Ideal

The 2-Decidability of Boolean Algebras with One Distinguished Ideal Full article

Journal

Algebra and Logic
ISSN: 0002-5232 , E-ISSN: 1573-8302

Output data

Year: 2025, Volume: 63, Number: 6, Pages: 399-409 Pages count : 11 DOI: 10.1007/s10469-025-09802-4

Tags

Boolean algebra, computable model, decidable model, n-decidable model, bounded theories of Boolean algebras, ideal on Boolean algebras, I-algebra

Authors

Gaskova M.N. ^1,2

Affiliations

1	Novosibirsk State University, 1, Pirogova St, Novosibirsk, 630090, Russia
2	Sobolev Institute of Mathematics, Novosibirsk, 630090, Russia

Funding (1)

Russian Science Foundation

23-11-00170

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.

Gaskova M.N.
The 2-Decidability of Boolean Algebras with One Distinguished Ideal
Algebra and Logic. 2025. V.63. N6. P.399-409. DOI: 10.1007/s10469-025-09802-4 WOS Scopus OpenAlex

Submitted:	Sep 19, 2024
Accepted:	Mar 19, 2025
Published print:	Oct 31, 2025
Published online:	Oct 31, 2025

Web of science:	WOS:001605234400001
Scopus:	2-s2.0-105020304535
OpenAlex:	W4415731990

Пока нет цитирований