Mal'cev conditions for Horn sentences with congruence permutability

DOI10.1007/BF01974108zbMath0541.08005MaRDI QIDQ794686

Gábor Czédli

Publication date: 1984

Published in: Acta Mathematica Hungarica (Search for Journal in Brave)

zbMATH Keywords

congruence latticesquasivarietyMal'cev conditionsHorn sentencesn-permutable variety

Mathematics Subject Classification ID

Representation theory of lattices (06B15) Equational logic, Mal'tsev conditions (08B05) Quasivarieties (08C15)

Related Items

Unnamed Item, On the word problem of lattices with the help of graphs, The shape of congruence lattices, Proof theory for linear lattices

Cites Work

• Unnamed Item
• Horn sentences with (W) and weak Mal'cev conditions
• Characterizing Mal'cev conditions
• A test for identities satisfied in lattices of submodules
• On \(n\)-permutable congruences
• On Malcev conditions
• On the Representation of Lattices by Modules
• Local Malcev Conditions