Elementary Equivalence of Countable Atomless Boolean Algebras with Distinguished Ideal
摘要
We study the problem of elementary equivalence of countable atomless Boolean algebras with a distinguished nonprincipal and nondense ideal, constructed from different elementarily equivalent countable infinite atomic Boolean algebras, under the condition that both algebra and its quotient algebra by the given ideal are atomless. We prove the existence of a continuum family of such countable Boolean algebras with a distinguished ideal,