Completely representable neat reducts
Logic
2020-03-09 v1
Abstract
For an ordinal , denotes the class of polyadic equality algebras of dimension . We show that for several classes of algebras that are reducts of whose signature contains all substitutions and finite cylindrifiers, if is in such a class, and is atomic, then for all , is completely representable as a . Conversely, we show that for any , and any variety , between diagonal free cylindric algebras and quasipolyadic equality algebras of dimension , the class of completely representable algebras in is not elementary.
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