On neat reducts of algebras of logic (Q5954709)

Let \(K\) stand for any of the following classes of algebras: substitution algebras in the sense of C. Pinter, cylindric algebras, quasipolyadic algebras, quasipolyadic equality algebras, and let \(K'\) stand for either the class of polyadic or polyadic equality algebras. The main theorems of the paper say that, for \(\alpha \leq \beta\), the class \(Nr_\alpha K_\beta\) of \(\alpha\)-dimensional neat reducts of \(\beta\)-dimensional \(K\)-algebras is not a variety (for it is not closed under forming subalgebras), while the class \(Nr_\alpha K'_\beta\) is a variety. The authors also show that the property ``forming of \(\alpha\)-reducts of \(\beta\)-dimensional algebras commute with forming subalgebras'' is an algebraic expression (along with the amalgamation property) of definability and, hence, is related to the metalogical Craig, Beth and Robinson properties in the corresponding logics. It follows from the above results that \(K\)-algebras (with \(\alpha > 1\)) have not the commutativity property. Connections of neat reducts and neat embeddings with some other problems are also discussed. Besides that, a short review of related earlier results, including a three-page long list of references, is given. By the way, the above-mentioned negative fact on cylindric algebras was obtained by the second author already in 1983.