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

DOI10.1007/S00012-018-0533-9MaRDI QIDQ1991583zbMATH OpenOpenAlexFDO

Authors Nemanja Draganić, Vlado Uljarević, Samir Zahirović, 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

congruence meet-semidistributiveconstraint satisfaction problemMal'cev conditionRamsey theorytame congruence theoryvariety

Mathematics Subject Classification ID

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

Recommendations

• Optimal strong Mal'cev conditions for congruence meet-semidistributivity in locally finite varieties
• A Characterization of Minimal Locally Finite Varieties
• Maltsev conditions for general congruence meet-semidistributive algebras
• A characterization of locally finite varieties that satisfy a nontrivial congruence identity
• On optimal strong Mal'cev conditions for congruence meet-semidistributivity in a locally finite variety

Cites work

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

Cited in

(9)

• Semigroups of partial transformations with kernel and image restricted by an equivalence
• Characterizations of several Maltsev conditions.
• Strong congruences and Mal'cev conditions on first order structures
• On optimal strong Mal'cev conditions for congruence meet-semidistributivity in a locally finite variety
• Optimal strong Mal'cev conditions for congruence meet-semidistributivity in locally finite varieties
• Solving CSPs using weak local consistency
• Maltsev conditions for general congruence meet-semidistributive algebras
• A characterization of locally finite varieties that satisfy a nontrivial congruence identity
• A strong Mal'cev condition for locally finite varieties omitting the unary type

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1991583)