Optimal strong Mal’cev conditions for omitting type 1 in locally finite varieties

Barto, L., Kozik, M.: Absorbing subalgebras, cyclic terms, and the constraint satisfaction problem. Log. Methods Comput. Sci. 8 1:07, 27 pp. (2012) Barto L., Kozik M., Niven T.: The CSP dichotomy holds for digraphs with no sources and no sinks (a positive answer to a conjecture of Bang-Jensen and Hell). SIAM J. Comput. 38, 1782–1802 (2008) Berman J., Idziak P., Marković P., McKenzie R., Valeriote M., Willard R.: Varieties with few subalgebras of powers. Trans. Amer. Math. Soc. 362, 1445–1473 (2010) Burris, S., Sankappanavar, H.P.: A course in universal algebra. Graduate Texts in Mathematics, vol. 78. Springer, New York (1981) Hell P., Nešetřil J.: On the complexity of H-colouring. J. Combin. Theory B 48, 92–100 (1990) Hell P., Nešetřil J., Zhu X.: Duality and polynomial testing of tree homomorphisms. Trans. Amer. Math. Soc. 348, 1281–1297 (1996) Hobby, D., McKenzie, R.: The structure of finite algebras. Contemporary Mathematics, vol. 76. American Mathematical Society, Providence (1988) Jovanović J.: On terms describing omitting unary and affine types. Filomat 27, 183–199 (2013) Kozik, M., Krokhin, A., Valeriote, M. Willard, R.: Characterizations of several Maltsev conditions. (2013, preprint) http://www.math.uwaterloo.ca/~rdwillar/documents/Publications/MaltsevPaper.pdf Maróti, M. (unpublished) see the lecture of Valeriote, M.: Maltsev conditions for omitting types. presented at the International Conference on Algebras and Lattices, Charles University, Prague, 21.–25. June 2010. http://www.karlin.mff.cuni.cz/~ical/presentations/Valeriote.pdf, page 17 Maróti M., McKenzie R.: Existence theorems for weakly symmetric operations. Algebra Universalis 59, 463–489 (2008) McKenzie, R., McNulty, G., Taylor, W.: Algebras, lattices, varieties. Vol. I. The Wadsworth & Brooks/Cole Mathematics Series, Wadsworth & Brooks/Cole Advanced Books & Software, Monterey (1987) Siggers M.: A strong Mal’cev condition for locally finite varieties omitting the unary type. Algebra Universalis 64, 15–20 (2010) Taylor W.: Varieties obeying homotopy laws. Canad. J. Math. 29, 498–527 (1977)