On a variety of commutative multiplicatively idempotent semirings

We prove that the variety V of commutative multiplicatively idempotent semirings satisfying x + y + xyz = x + y is generated by single semirings. Moreover, we describe a normal form system for terms in V and we show that the word problem in V is solvable. Although V is locally finite, it is residually big.