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

DOI10.1007/S00012-016-0406-ZzbMATH Open1355.08003OpenAlexW2507385844MaRDI QIDQ334968FDOQ334968

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

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

zbMATH Keywords

varietyconstraint satisfaction problemcongruence meet-semidistributivityMal'cev conditions

Mathematics Subject Classification ID

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

Cites Work

• Existence theorems for weakly symmetric operations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Characterizations of several Maltsev conditions.
• The collapse of the bounded width hierarchy
• Constraint Satisfaction Problems Solvable by Local Consistency Methods
• The structure of finite algebras
• The shape of congruence lattices
• Title not available (Why is that?)
• Universal algebra. Fundamentals and selected topics
• Optimal strong Mal'cev conditions for omitting type 1 in locally finite varieties.
• 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
• A strong Mal'cev condition for locally finite varieties omitting the unary type
• Bounded width problems and algebras

Cited In (11)

• Optimal strong Mal'cev conditions for omitting type 1 in locally finite varieties.
• Strong congruences and Mal'cev conditions on first order structures
• Title not available (Why is that?)
• A characterization of locally finite varieties that satisfy a nontrivial congruence identity
• Title not available (Why is that?)
• Characterizations of several Maltsev conditions.
• A strong Mal'cev condition for locally finite varieties omitting the unary type
• Congruence meet-semidistributive locally finite varieties and a finite basis theorem
• On optimal strong Mal'cev conditions for congruence meet-semidistributivity in a locally finite variety
• Maltsev conditions for general congruence meet-semidistributive algebras
• 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)