{"id":"arxiv/2611.03715","url":"https://arxiv.org/abs/2611.03715","tags":["math.LO"],"score":0,"title":"Equational theories of min-plus semirings","domain":"math.LO","source":"arxiv","authors":["Yilin Zhou","Zidong Gao"],"reviews":0,"subject":"math.LO","summary":"We study the equational theory and subvarieties of the variety $\\mathcal V$ generated by $(\\mathbb N_0,\\min,+)$. We prove that a subvariety of $\\mathcal V$ is proper if and only if it is locally finite, equivalently, if and only if it satisfies a power-stabilization identity. Every finite member generates a hereditarily finitely based variety with a finite subvariety lattice. In contrast, the periodic subvarieties defined by $x^m=x^{m+1}$ are nonfinitely based for $m\\geq2$. We construct a strictly descending chain of nonfinitely based subvarieties and three varieties generated by explicit…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-31","reactions":{}}