Cyclic terms for \(\text{SD}_{\vee}\) varieties revisited

DOI10.1007/s00012-010-0094-zzbMath1209.08002OpenAlexW2128660819MaRDI QIDQ616130

Marcin Kozik, Libor Barto

Publication date: 7 January 2011

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

Full work available at URL: https://doi.org/10.1007/s00012-010-0094-z

zbMATH Keywords

congruence join-semidistributive varietycyclic term

Mathematics Subject Classification ID

Congruence modularity, congruence distributivity (08B10)

Related Items (7)

Constraint Satisfaction Problems Solvable by Local Consistency Methods ⋮ Unnamed Item ⋮ Finitely related clones and algebras with cube terms. ⋮ Unnamed Item ⋮ On solvability of systems of polynomial equations ⋮ Unnamed Item ⋮ Distance constraint satisfaction problems

Cites Work

• Existence theorems for weakly symmetric operations
• Congruence modularity implies cyclic terms for finite algebras
• Congruence join semidistributivity is equivalent to a congruence identity.
• The CSP Dichotomy Holds for Digraphs with No Sources and No Sinks (A Positive Answer to a Conjecture of Bang-Jensen and Hell)
• The structure of finite algebras

This page was built for publication: Cyclic terms for \(\text{SD}_{\vee}\) varieties revisited