The Max-Plus Algebra of the Natural Numbers has no Finite Equational
Basis
Luca Aceto
October 1999 |
Abstract:
This paper shows that the collection of identities which hold
in the algebra N of the natural numbers with constant zero, and binary
operations of sum and maximum is not finitely based. Moreover, it is proven
that, for every
![]() ![]() Available as PostScript, PDF, DVI. |