Yet Another Single Law for Lattices

dc.creatorMcCune, William
dc.creatorPadmanabhan, Ranganathan
dc.creatorVeroff, Robert
dc.date2003-07-21
dc.date.accessioned2026-07-07T04:59:48Z
dc.date.available2026-07-07T04:59:48Z
dc.descriptionIn 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.
dc.description5 pages
dc.identifierhttps://arxiv.org/abs/math/0307284
dc.identifierhttp://arxiv.org/abs/math/0307284
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/68136
dc.subjectLogic
dc.subject06B99; 03830
dc.titleYet Another Single Law for Lattices
dc.typetext

Files

Collections