On finite Taylor algebras
2016 ◽
Vol 26
(08)
◽
pp. 1547-1571
Keyword(s):
We establish a new hereditary characterization of finite idempotent Taylor algebras. This generalizes the algebraic constructions which figured in the recent successful characterization of the correctness of the bounded width algorithm for constraint satisfaction problems by finite idempotent algebras generating congruence meet-semidistributive varieties. We introduce the cyclic reduct of a finite Taylor algebra and prove a collapse of Mal’cev conditions.
2001 ◽
Vol 1
(6)
◽
pp. 713-750
◽
2019 ◽
Vol 27
(Supp01)
◽
pp. 89-105
2008 ◽
Vol 131
(6)
◽
pp. 1121-1138
◽
2013 ◽
Vol 44
(2)
◽
pp. 131-156
◽
2011 ◽
Vol 21
(4)
◽
pp. 733-744
◽