Models of a \(K\)-rational identity system
The author studies the algebra of rational expressions over a positive semiring. Interpretation and substitution are defined. Using the concept of model, he is able to show that every complete system of \(K\)-rational identities must be infinite, extending a result of Conway for \(K\) = the boolean semiring.
scientific article; zbMATH DE number 98623
scientific article