|
Fundamentalnaya i Prikladnaya Matematika, 2009, Volume 15, Issue 2, Pages 169–189
(Mi fpm1219)
|
|
|
|
The atomic theory of multiplication and division of semiring ideals
A. E. Pentus, M. R. Pentus M. V. Lomonosov Moscow State University
Abstract:
We consider two-sided ideals of semirings. More precisely, we study the theory of two-sided ideals in the signature consisting of the predicate symbol $\subseteq$ and three function symbols that denote the multiplication, right division, and left division of ideals. We prove that the set of those atomic formulas in this signature that are valid for all semirings and all valuations is decidable.
Citation:
A. E. Pentus, M. R. Pentus, “The atomic theory of multiplication and division of semiring ideals”, Fundam. Prikl. Mat., 15:2 (2009), 169–189; J. Math. Sci., 167:6 (2010), 841–856
Linking options:
https://www.mathnet.ru/eng/fpm1219 https://www.mathnet.ru/eng/fpm/v15/i2/p169
|
Statistics & downloads: |
Abstract page: | 310 | Full-text PDF : | 128 | References: | 53 | First page: | 2 |
|