A characterization of idempotent strong Mal'cev conditions for congruence meet-semidistributivity in locally finite varieties

DOI10.1007/s00012-018-0533-9zbMath1454.08005MaRDI QIDQ1991583

Petar Marković, Nemanja Draganić, Vlado Uljarević, Samir Zahirović

Publication date: 30 October 2018

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00012-018-0533-9

zbMATH Keywords

Ramsey theory; variety; tame congruence theory; constraint satisfaction problem; Mal'cev condition; congruence meet-semidistributive

Mathematics Subject Classification ID

08A70: Applications of universal algebra in computer science

08B05: Equational logic, Mal'tsev conditions

08B10: Congruence modularity, congruence distributivity

05D10: Ramsey theory