scientific article; zbMATH DE number 1500521

MaRDI QIDQ4501538zbMATH OpenFDO

Authors Luca Aceto, Anna Ingolfsdottir, Zoltán Ésik

Publication date 16 February 2001

zbMATH Keywords

equational theoryfinite equational axiomatizationmax-sum algebra of the natural numbers

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05)

Recommendations

• The max-plus algebra of the natural numbers has no finite equational basis
• Which two-sorted algebras of Booleans and naturals have a finite basis?
• Equational theories of tropical semirings
• scientific article; zbMATH DE number 1701345
• Even equations and Agassiz sums

Cited in

(8)

• Equational theories of tropical semirings
• Even equations and Agassiz sums
• Bisimilarity is not finitely based over BPA with interrupt
• Nested semantics over finite trees are equationally hard
• Which two-sorted algebras of Booleans and naturals have a finite basis?
• A Completeness Theorem for Trigonometric Identities and Various Results on Exponential Functions
• The max-plus algebra of the natural numbers has no finite equational basis
• The max-plus algebra of exponent matrices of tiled orders

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4501538)