SC, CA, QA and QEA stand for the classes of Pinter's substitution algebras, Tarski's cylindric algebras, Halmos' quasipolyadic algebras and Halmos' quasipolyadic algebras with equality, respectively. Generalizing a result of Andréka and Németi on cylindric algebras, we show that for K ∈ SC,QA,CA,QEA and any β > 2 the class of 2-dimensional neat reducts of β-dimensional algebras in K is not closed under forming elementary subalgebras, hence is not elementary. Whether this result extends to higher...

Let G be a group and P G be the Boolean algebra of all subsets of G. A mapping Δ: P G → P G defined by Δ(A) = {g ∈ G: gA ∩ A is infinite} is called the combinatorial derivation. The mapping Δ can be considered as an analogue of the topological derivation d: P X→ P X, A ↦ A d, where X is a topological space and A d is the set of all limit points of A. We study the behaviour of subsets of G under action of Δ and its inverse mapping ∇. For example, we show that if G is infinite and I is an ideal in...