| publication name | An Application of Model Theory to Semimodules |
|---|---|
| Authors | M. ZAYED |
| year | 2007 |
| keywords | |
| journal | Logic Journal of IGPL |
| volume | Not Available |
| issue | Not Available |
| pages | Not Available |
| publisher | Not Available |
| Local/International | International |
| Paper Link | Not Available |
| Full paper | download |
| Supplementary materials | Not Available |
Abstract
In this note, we prove that the theory T of cancellative semimodules over a semiring R has the amalgamation property. If R is an entire cancellative zerosumfree semiring, then T has no model-companion. In particular, the theory of commutative additively cancellative monoids forms an example of a non-companionable theory.