Switchability and collapsibility of Gap Algebras
Logic in Computer Science
2015-10-22 v1
Abstract
Let A be an idempotent algebra on a 3-element domain D that omits a G-set for a factor. Suppose A is not \alpha\beta-projective (for some alpha, beta subsets of D) and is not collapsible. It follows that A is switchable. We prove that, for every finite subset Delta of Inv(A), Pol(Delta) is collapsible. We also exhibit an algebra that is collapsible from a non-singleton source but is not collapsible from any singleton source.
Cite
@article{arxiv.1510.06298,
title = {Switchability and collapsibility of Gap Algebras},
author = {Barnaby Martin and Dmitriy Zhuk},
journal= {arXiv preprint arXiv:1510.06298},
year = {2015}
}