scientific article; zbMATH DE number 1500521

zbMATH Open0955.08004MaRDI QIDQ4501538FDOQ4501538

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

Publication date: 16 February 2001

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

equational theoryfinite equational axiomatizationmax-sum algebra of the natural numbers

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05)

Cited In (8)

• Equational theories of tropical semirings
• Even equations and Agassiz sums
• Bisimilarity is not finitely based over BPA with interrupt
• Which two-sorted algebras of Booleans and naturals have a finite basis?
• Nested semantics over finite trees are equationally hard
• 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)