Abstract

For a complete first order theory of Boolean algebras T which has nonisomorphic countable models, we determine the first limit ordinal α = α(T) such that We show that for some and for all other T‘s, A nonprincipal ideal I of B is almost principal, if a is a principal ideal of B} is a maximal ideal of B. We show that the theory of Boolean algebras with an almost principal ideal has complete extensions and characterize them by invariants similar to the Tarski’s invariants