Charles Explorer logo
🇬🇧

New Conditions for Taylor Varieties and CSP

Publication at Faculty of Mathematics and Physics |
2010

Abstract

We provide two new characterizations for finitely generated varieties with Taylor terms. The first characterization is using “absorbing sets” and the second one “cyclic operations”.

These new conditions allow us to reprove the conjecture of Bang-Jensen and Hell and the characterization of locally finite Taylor varieties using weak near-unanimity operations in an elementary and self-contained way.