The 2-Decidability of Boolean Algebras with One Distinguished Ideal Научная публикация

Журнал	Algebra and Logic ISSN: 0002-5232 , E-ISSN: 1573-8302
Вых. Данные	Год: 2025, Том: 63, Номер: 6, Страницы: 399-409 Страниц : 11 DOI: 10.1007/s10469-025-09802-4
Ключевые слова	Boolean algebra, computable model, decidable model, n-decidable model, bounded theories of Boolean algebras, ideal on Boolean algebras, I-algebra
Авторы	Gaskova M.N. 1,2
Организации	1 Novosibirsk State University, 1, Pirogova St, Novosibirsk, 630090, Russia 2 Sobolev Institute of Mathematics, Novosibirsk, 630090, Russia

Информация о финансировании (1)

1

Российский научный фонд

23-11-00170