A Characterization of Identities Implying Congruence Modularity I

DOI10.4153/CJM-1980-087-6zbMath0414.08003OpenAlexW2083559667MaRDI QIDQ3048890

Alan Day, Ralph Freese

Publication date: 1980

Published in: Canadian Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4153/cjm-1980-087-6

zbMATH Keywords

lattice identityvariety of latticesvariety of universal algebrascongruence variety

Mathematics Subject Classification ID

Congruence modularity, congruence distributivity (08B10) Varieties of lattices (06B20)

Related Items (13)

Unnamed Item ⋮ Universal algebraic methods for non-classical logics ⋮ Finitely based congruence varieties ⋮ On Freese’s technique ⋮ Universal algebras ⋮ Unnamed Item ⋮ Maltsev families of varieties closed under join or Maltsev product ⋮ Obituary: R. Alan Day ⋮ Relation identities in 3-distributive varieties ⋮ Commutator Theory Without Join-Distributivity ⋮ ON THE COMPLEXITY OF SOME MALTSEV CONDITIONS ⋮ The shape of congruence lattices ⋮ A note on the compactness of the consequence relation for congruence varieties

This page was built for publication: A Characterization of Identities Implying Congruence Modularity I