Countably-categorical Boolean algebras with distinguished ideals (Q1104315): Difference between revisions

The Boolean algebras B with distinguished ideals are the algebraic systems \(<A,\cap,\cup,-,0,1,J_ 0,...,J_ m>\) where \(J_{\ell}\) \((\ell \leq m<\infty)\) are unary predicates defining ideals of (the Boolean algebras) \(<A,\cap,\cup,-,0,1>.\) From \textit{Yu. L. Ershov}'s paper [Algebra Logika, Sem. 3, No.3, 17-38 (1964; Zbl 0199.031)] it follows that for \(m=0\) Th(B) is decidable in, at least, the two following cases: 1) \(B|_{J_ 0}\) is finite, 2) there exists \(\sup \{x| \quad B\vDash J_ 0(x)\}\) and B is atomic. As is known for \(m=0\) there exists B such that Th(B) is undecidable. In the reviewed paper all countable Boolean algebras with distinguished ideals having countably-categorical elementary theory are described. From this description it follows that all countably-categorical elementary theories of Boolean algebras with distinguished ideals are finitely axiomatizable, decidable and, consequently, their countable models are strongly constructivizable.