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