Yet Another Single Law for Lattices
Logic
2007-05-23 v1
Abstract
In this note we show that the equational theory of all lattices is defined by a single absorption law. The identity of length 29 with 8 variables is shorter than previously known such equations defining lattices.
Keywords
Cite
@article{arxiv.math/0307284,
title = {Yet Another Single Law for Lattices},
author = {William McCune and Ranganathan Padmanabhan and Robert Veroff},
journal= {arXiv preprint arXiv:math/0307284},
year = {2007}
}
Comments
5 pages