The finite basis problem for the flat semirings $S(W)$

Zidong Gao, Miaomiao Ren, Xianzhong Zhao

We focus on the finite basis problem for flat semirings of the form $S(W)$, where $W$ is an arbitrary set of nonempty words. We prove that $S(W)$ generates a Cross variety (and hen…