1 problem

Classification conjecture. Every multiplicatively idempotent congruence-simple semiring is finite and isomorphic to one of the semirings $\mathbb{S}_1$, $\dots$, $\mathbb{S}_8$.