English

Completely representable neat reducts

Logic 2020-03-09 v1

Abstract

For an ordinal α\alpha, PEAα\sf PEA_{\alpha} denotes the class of polyadic equality algebras of dimension α\alpha. We show that for several classes of algebras that are reducts of \PEAω\PEA_{\omega} whose signature contains all substitutions and finite cylindrifiers, if \B\B is in such a class, and \B\B is atomic, then for all n<ωn<\omega, \Nrn\B\Nr_n\B is completely representable as a \PEAn\PEA_n. Conversely, we show that for any 2<n<ω2<n<\omega, and any variety V\sf V, between diagonal free cylindric algebras and quasipolyadic equality algebras of dimension nn, the class of completely representable algebras in V\sf V is not elementary.

Keywords

Cite

@article{arxiv.2003.03245,
  title  = {Completely representable neat reducts},
  author = {Tarek Sayed Ahmed},
  journal= {arXiv preprint arXiv:2003.03245},
  year   = {2020}
}

Comments

arXiv admin note: substantial text overlap with arXiv:1504.05947, arXiv:1912.12114, arXiv:1912.12182, arXiv:1408.3282

R2 v1 2026-06-23T14:06:38.714Z