Inherently nonfinitely based lattices

We give a general method for constructing lattices L whose equational theories are inherently nonfinitely based. This means that the equational class (that is, the variety) generated by L is locally finite and that L belongs to no locally finite finitely axiomatizable equational class. We also provide an example of a lattice which fails to be inherently nonfinitely based but whose equational theory is not finitely axiomatizable. Key words: lattice, finite axiomatizability, inherently nonfinitely based

• Type: Journal
• Year: 2002
• Where: APAL
• Authors: Ralph Freese, George F. McNulty, James B. Nation
• Keywords: APAL 2002, Equational, Equational Class, Equational Theories