Finitely Related Algebras In Congruence Distributive Varieties Have Near Unanimity Terms
From MaRDI portal
Publication:4907620
DOI10.4153/CJM-2011-087-3zbMath1283.08009MaRDI QIDQ4907620
Publication date: 4 February 2013
Published in: Canadian Journal of Mathematics (Search for Journal in Brave)
relational structureconstraint satisfaction problemcongruence distributive varietyfinitely related algebranear unanimity operationJonsson operations
Equational logic, Mal'tsev conditions (08B05) Congruence modularity, congruence distributivity (08B10) Relational systems, laws of composition (08A02)
Related Items (27)
Tractability in constraint satisfaction problems: a survey ⋮ Preserving near unanimity terms under products ⋮ When Symmetries Are Not Enough: A Hierarchy of Hard Constraint Satisfaction Problems ⋮ Quasiorder lattices of varieties ⋮ Deciding absorption in relational structures ⋮ Finite bands are finitely related ⋮ Absorption and directed Jónsson terms ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The smallest hard trees ⋮ Cube term blockers without finiteness ⋮ The lattice of clones of self-dual operations collapsed ⋮ Not all nilpotent monoids are finitely related ⋮ Binarisation for Valued Constraint Satisfaction Problems ⋮ On finitely related semigroups. ⋮ On the number of finite algebraic structures ⋮ The existence of a near-unanimity function is decidable ⋮ The structure of polynomial operations associated with smooth digraphs. ⋮ Decidability of absorption in relational structures of bounded width. ⋮ Robust Algorithms with Polynomial Loss for Near-Unanimity CSPs ⋮ Pseudo‐loop conditions ⋮ Finite degree: algebras in general and semigroups in particular ⋮ Mitschke's theorem is sharp ⋮ Finite degree clones are undecidable ⋮ Unnamed Item ⋮ Between an n-ary and an n + 1-ary near-unanimity term ⋮ Menger systems of idempotent cyclic and weak near-unanimity multiplace functions
This page was built for publication: Finitely Related Algebras In Congruence Distributive Varieties Have Near Unanimity Terms