A Note on Neat Reducts |
| |
| Authors: | Tarek Sayed Ahmed |
| |
| Affiliation: | (1) Department of Mathematics, Faculty of Science, Cairo University, Giza, Egypt |
| |
| 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  . and  . We show that the class of n dimensional neat reducts of algebras in K m is not elementary. This solves a problem in [2]. Also our result generalizes results proved in [1] and [2]. Presented by Robert Goldblatt |
| |
| Keywords: | Algebraic logic cylindric algebras neat reducts elementary |
| 本文献已被 SpringerLink 等数据库收录！ |
|
