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

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

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

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 theoryvarietytame congruence theoryconstraint satisfaction problemMal'cev conditioncongruence meet-semidistributive

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Equational logic, Mal'tsev conditions (08B05) Congruence modularity, congruence distributivity (08B10) Ramsey theory (05D10)

Related Items (2)

Semigroups of partial transformations with kernel and image restricted by an equivalence ⋮ Solving CSPs Using Weak Local Consistency

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Optimal strong Mal'cev conditions for congruence meet-semidistributivity in locally finite varieties
• A strong Mal'cev condition for locally finite varieties omitting the unary type
• Bounded width problems and algebras
• Existence theorems for weakly symmetric operations
• Characterizations of several Maltsev conditions.
• Optimal strong Mal'cev conditions for omitting type 1 in locally finite varieties.
• The collapse of the bounded width hierarchy
• Constraint Satisfaction Problems Solvable by Local Consistency Methods
• The structure of finite algebras
• Varieties Obeying Homotopy Laws
• A Characterization of Varieties with a Difference Term, II: Neutral = Meet Semi-Distributive
• Residually finite, congruence meet-semidistributive varieties of finite type have a finite residual bound
• The Relationship Between Two Commutators
• The weakest nontrivial idempotent equations
• A finite basis theorem for residually finite, congruence meet-semidistributive varieties
• The shape of congruence lattices

This page was built for publication: A characterization of idempotent strong Mal'cev conditions for congruence meet-semidistributivity in locally finite varieties