The Interval $[\mathsf{V}(S_7),\mathsf{V}(B_2^1)]$ of Semiring Varieties Has the Cardinality of the Continuum

Zidong Gao, Miaomiao Ren, Mengya Yue

We prove that the interval $[\mathsf{V}(S_7),\mathsf{V}(B_2^1)]$ in the lattice of additively idempotent semiring (ai-semiring) varieties has the cardinality of the continuum,where…