This paper shows that the collection of identities in two variables which hold in the algebra N of the natural numbers with constant zero, and binary operations of sum and maximum does not have a finite equational axiomatization. This gives an alternative proof of the non-existence of a Finite basis for N—a result previously obtained by the authors.
CITATION STYLE
Aceto, L., Ésik, Z., & Ingólfsdóttir, A. (2000). On the two-variable fragment of the equational theory of the max-sum algebra of the natural numbers. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1770, pp. 267–278). Springer Verlag. https://doi.org/10.1007/3-540-46541-3_22
Mendeley helps you to discover research relevant for your work.