Optimal strong Mal'cev conditions for congruence meet-semidistributivity in locally finite varieties

DOI10.1007/s00012-016-0406-zzbMath1355.08003OpenAlexW2507385844MaRDI QIDQ334968

Mohammad Hasan, M. Dambrine

Publication date: 1 November 2016

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

Full work available at URL: https://doi.org/10.1007/s00012-016-0406-z

zbMATH Keywords

varietyconstraint satisfaction problemcongruence meet-semidistributivityMal'cev conditions

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Congruence modularity, congruence distributivity (08B10)

Related Items (3)

Congruence meet-semidistributive locally finite varieties and a finite basis theorem ⋮ Unnamed Item ⋮ A characterization of idempotent strong Mal'cev conditions for congruence meet-semidistributivity in locally finite varieties

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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
• 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
• A finite basis theorem for residually finite, congruence meet-semidistributive varieties
• The shape of congruence lattices

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