Staff Members - Benha University
An Application of Model Theory to Semimodules
Logic Journal of IGPL • 2007
Publication Information
Authors
M. ZAYED
Keywords
Not Available
Journal
Logic Journal of IGPL
Publisher
Not Available
Volume
Not Available
Issue
Not Available
Pages
Not Available
publication.type
International
Paper Link
Not Available
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.
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.