Congruence join semidistributivity is equivalent to a congruence identity.
From MaRDI portal
Publication:1771880
DOI10.1007/PL00000351zbMath1063.08008OpenAlexW2022941646MaRDI QIDQ1771880
Publication date: 19 April 2005
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/pl00000351
Equational logic, Mal'tsev conditions (08B05) Congruence modularity, congruence distributivity (08B10)
Related Items
Cyclic terms for \(\text{SD}_{\vee}\) varieties revisited, Irreducible subalgebra primal algebras, An easy test for congruence modularity, Anticommutativity and the triangular lemma, Every $m$-permutable variety satisfies the congruence identity $\alpha\beta_h= \alpha \gamma_h$, The shape of congruence lattices, TAYLOR TERMS, CONSTRAINT SATISFACTION AND THE COMPLEXITY OF POLYNOMIAL EQUATIONS OVER FINITE ALGEBRAS