Abstract
We prove that every additivcly-idempotent semiring can be embedded in a finitary complete semiring. From this we obtain, among other results, that the classical identities of Kleene semirings over idempotent semirings are independent.
Original language | English |
---|---|
Pages (from-to) | 2945-2962 |
Number of pages | 18 |
Journal | Communications in Algebra |
Volume | 24 |
Issue number | 9 |
Publication status | Published - 1996 |