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

DOI10.1007/S00012-016-0406-ZMaRDI QIDQ334968zbMATH OpenOpenAlexFDO

Authors Jelena Jovanović, Petar Marković, Ralph McKenzie, Matthew Moore

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)

Recommendations

• On optimal strong Mal'cev conditions for congruence meet-semidistributivity in a locally finite variety
• A characterization of idempotent strong Mal'cev conditions for congruence meet-semidistributivity in locally finite varieties
• Congruence meet-semidistributive locally finite varieties and a finite basis theorem
• A strong Mal'cev condition for locally finite varieties omitting the unary type
• Optimal strong Mal'cev conditions for omitting type 1 in locally finite varieties.
• Optimal Mal'tsev conditions for congruence modular varieties
• Maltsev conditions for general congruence meet-semidistributive algebras
• Strong congruences and Mal'cev conditions on first order structures
• scientific article; zbMATH DE number 1534363
• Congruence semimodular varieties. I: Locally finite varieties

Cites work

• 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?)
• 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
• 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 Relationship Between Two Commutators
• The collapse of the bounded width hierarchy
• The shape of congruence lattices
• The structure of finite algebras
• Universal algebra. Fundamentals and selected topics

Cited in

(11)

• On optimal strong Mal'cev conditions for congruence meet-semidistributivity in a locally finite variety
• Congruence meet-semidistributive locally finite varieties and a finite basis theorem
• Optimal strong Mal'cev conditions for omitting type 1 in locally finite varieties.
• scientific article; zbMATH DE number 7359806 (Why is no real title available?)
• A characterization of locally finite varieties that satisfy a nontrivial congruence identity
• Characterizations of several Maltsev conditions.
• Maltsev conditions for general congruence meet-semidistributive algebras
• A strong Mal'cev condition for locally finite varieties omitting the unary type
• scientific article; zbMATH DE number 1534363 (Why is no real title available?)
• Strong congruences and Mal'cev conditions on first order structures
• A characterization of idempotent strong Mal'cev conditions for congruence meet-semidistributivity in locally finite varieties

This page was built for publication: Optimal 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 Q334968)