Autostability of Boolean algebras with distinguished ideal
Algorithmic problems of Boolean algebras with distinguished ideal are considered. An algebraic criterion is obtained for a Boolean algebra of this kind to be autostable (\(=\) recursively categorical).
Boolean algebra with distinguished ideal
scientific article; zbMATH DE number 1286047