Nonfinitely based ai-semirings with finitely based semigroup reducts

Marcel Jackson, Miaomiao Ren, Xianzhong Zhao

We present some general results implying nonfinite axiomatisability of many additively idempotent semirings with finitely based semigroup reducts. The smallest is a $3$-element com…