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

Abstract

We study the finite basis problem for $4$-element additively idempotent semirings whose additive reducts are quasi-antichains. Up to isomorphism, there are $93$ such algebras. We show that with the exception of the semiring $S_{(4,435)}$, all of them are finitely based.