6 papers
The finite basis problem for the flat semirings
Zidong Gao, Miaomiao Ren, Xianzhong Zhao
We focus on the finite basis problem for flat semirings of the form , where is an arbitrary set of nonempty words. We prove that generates a Cross variety (and hen…
A nonfinitely based additively idempotent semiring of order four
Mengya Yue, Miaomiao Ren
We first establish a sufficient condition for an additively idempotent semiring to be nonfinitely based. As applications, we exhibit several examples of additively idempotent semir…
A new limit variety of additively idempotent semirings
Simin Lyu, Miaomiao Ren, Mengya Yue
We establish a sufficient condition for an additively idempotent semiring to be nonfinitely based. Applying this condition, we prove that the six-element additively idempotent semi…
Two nonfinitely based additively idempotent semirings of order four
Mengya Yue, Miaomiao Ren, Zidong Gao
We establish two sufficient conditions for an additively idempotent semiring to be nonfinitely based. As applications, we prove that two specific -element additively idempotent…
Embedding lattices of quasivarieties of periodic groups into lattices of additively idempotent semiring varieties: An algebraic proof
Miaomiao Ren, Xianzhong Zhao, Mikhail V. Volkov
A general result by Jackson (Flat algebras and the translation of universal Horn logic to equational logic, J. Symb. Log. 73(1) (2008) 90--128) implies that the lattice of all quas…
The finite basis problem for additively idempotent semirings that relate to S_7
Zidong Gao, Marcel Jackson, Miaomiao Ren +1
The -element additively idempotent semiring is a nonnitely based algebra of the smallest possible order. In this paper we study the nite basis problem for some additively…