The finite basis problem for additively idempotent semirings of order four, III
Abstract
We study the finite basis problem for 4-element additively idempotent semirings whose additive reducts have two minimal elements and one coatom. Up to isomorphism, there are 112 such algebras. We show that 106 of them are finitely based and the remaining ones are nonfinitely based.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.