A note on neat reducts (Q2642524): Difference between revisions

In this paper, \(SC,CA,QA\) and \(QEA\) denote the classes of Pinter's substitution algebras, Tarski's cylindric algebras, and Halmos' quasi-polyadic algebras and quasi-polyadic equality algebras, respectively. If \(K\in \{SC,CA,QA,QEA\}\) and \(\alpha\) is an ordinal, \(K_{\alpha}\) denotes the class of all algebras in \(K\) of dimension \(\alpha\). If \(2<n<m\leq\omega\), in [\textit{T. Sayed-Ahmed}, Log. J. IGPL 9, No. 4, 593--628 (2001; Zbl 0988.03098)] it is proved that the class of \(n\)-dimensional neat reducts of algebras of \(CA_{m}\) is not elementary. This result is proved for 2-dimensional neat reducts of \(SC_{n},QA_{n}\) and \(QEA_{n}\) in [\textit{T. Sayed-Ahmed}, Fundam. Math. 172, No. 1, 61--81 (2002; Zbl 0992.03083)]. Here the author extends the latter result to arbitrary finite dimensions; the main theorem of this paper shows that if \(1<n<m\leq\omega\) and \(L\) is any class such that \(WKs_{m}\subseteq L\subseteq K_{m}\) (\(WKs_{m}\) being the class of weak set algebras in \(K\)), then \(Nr_{n}L\) (the class of all \(n\)-dimensional reducts of algebras in \(L\)) is not closed under elementary equivalence; hence \(Nr_{n}L\) is not an elementary class, that is, it is not first-order axiomatizable.