Inherently nonfinitely based lattices Original Research Article

We give a general method for constructing lattices View the MathML source whose equational theories are inherently nonfinitely based. This means that the equational class (that is, the variety) generated by View the MathML source is locally finite and that View the MathML source 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.