William McCuneRanganathan PadmanabhanRobert Veroff
所有作者
William McCuneRanganathan PadmanabhanRobert Veroff
文献摘要
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.