Applications of Boolean powers of algebraic systems (Q1075311)

The Boolean power operation enables to transfer some properties of Boolean algebras to other classes of algebraic systems. In the paper, the Boolean powers method is applied to prove the undecidability of some non- classical theories of classes of algebraic systems (this generalizes some results of Burris). There are also some consistency results for the existence (in a given congruence-modular or congruence-distributive variety) of countable systems which are equivalent in some logical calculus, but non-isomorphic.