Studia Logica

, Volume 85, Issue 2, pp 139–151

A Note on Neat Reducts

Article

DOI: 10.1007/s11225-007-9034-0

Cite this article as:
Ahmed, T.S. Stud Logica (2007) 85: 139. doi:10.1007/s11225-007-9034-0

Abstract

SC, CA, QA and QEA denote the class of Pinter’s substitution algebras, Tarski’s cylindric algebras, Halmos’ quasi-polyadic and quasi-polyadic equality algebras, respectively. Let \({2 < n < m \le \omega}\) . and \({K \in \{SC, CA, QA, QEA\}}\) . We show that the class of n dimensional neat reducts of algebras in Km is not elementary. This solves a problem in [2]. Also our result generalizes results proved in [1] and [2].

Keywords

Algebraic logic cylindric algebras neat reducts elementary 

Copyright information

© Springer Science+Business Media, Inc. 2007

Authors and Affiliations

  1. 1.Department of Mathematics, Faculty of ScienceCairo UniversityGizaEgypt

Personalised recommendations