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.
|Number of pages||18|
|Journal||Communications in Algebra|
|Publication status||Published - 1996|