The variety generated by all additively idempotent semirings of order four
arXiv:2609.20568
Abstract
We prove that the variety generated by all four-element additively idempotent semirings has no finite basis for its identities.
arXiv:2609.20568
We prove that the variety generated by all four-element additively idempotent semirings has no finite basis for its identities.