SR_6 generates a limit variety V(SR_6) with a four-element chain subvariety lattice, establishing it as nonfinitely based while all proper subvarieties are finitely based.
Preprint, arXiv:2603.00015 (2026)
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
A 4-element additively idempotent semiring whose additive reduct has two minimal elements and two coatoms has no finite basis for its identities.
citing papers explorer
-
A new limit variety of additively idempotent semirings
SR_6 generates a limit variety V(SR_6) with a four-element chain subvariety lattice, establishing it as nonfinitely based while all proper subvarieties are finitely based.
-
A nonfinitely based additively idempotent semiring of order four
A 4-element additively idempotent semiring whose additive reduct has two minimal elements and two coatoms has no finite basis for its identities.