A finite base for \(M^ n\) and maximal projective distance in \(M^ n\).
From MaRDI portal
Publication:1163039
DOI10.1007/BF02483912zbMath0483.06006MaRDI QIDQ1163039
Publication date: 1982
Published in: Algebra Universalis (Search for Journal in Brave)
equational base; modular lattices; lattice variety; equational class; finitely axiomatizable; strongly irreducible projectivity
08B05: Equational logic, Mal'tsev conditions
06C05: Modular lattices, Desarguesian lattices
06B20: Varieties of lattices