×

Countably categorical and autostable Boolean algebras with distinguished ideals. (Russian, English) Zbl 1249.03050

Mat. Tr. 11, No. 1, 3-24 (2008); translation in Sib. Adv. Math. 18, No. 4, 227-241 (2008).
Summary: We study countable Boolean algebras with finitely many distinguished ideals (countable \(I\)-algebras) whose elementary theory is countably categorical, and autostable \(I\)-algebras which form their subclass. We propose a new characterization for the former class that allows us to answer a series of questions about the structure of countably categorical and autostable \(I\)-algebras.

MSC:

03C57 Computable structure theory, computable model theory
03C35 Categoricity and completeness of theories
06E25 Boolean algebras with additional operations (diagonalizable algebras, etc.)
Full Text: DOI