The finite basis problem for additively idempotent semirings of order four, I

Miaomiao Ren, Junyang Liu, Lingli Zeng +1

We study the finite basis problem for 4-element additively idempotent semirings whose additive reducts are semilattices of height 1. Up to isomorphism, there are 58 such algebras.…