On the 1-Decidability of Boolean Algebras with One Distinguished Ideal
摘要
We describe the 1-decidable Boolean algebras with one distinguishedideal in terms of the computability of some set of predicates on the algebraand show the minimality of the conditions obtained.