A characterization of locally finite varieties that satisfy a nontrivial congruence identity
From MaRDI portal
Publication:5950766
DOI10.1007/s000120050134zbMath0978.08005OpenAlexW1973417030MaRDI QIDQ5950766
Publication date: 16 December 2001
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s000120050134
tame congruence theorylocally finite varietyMal'tsev conditionnontrivial congruence propertyvariety of semilattices
Equational logic, Mal'tsev conditions (08B05) Congruence modularity, congruence distributivity (08B10)
Related Items