|
Fundamentalnaya i Prikladnaya Matematika, 2016, Volume 21, Issue 1, Pages 181–191
(Mi fpm1711)
|
|
|
|
The atomic theory of division and intersection of semiring ideals
A. E. Pentusa, M. R. Pentusbcad a Lomonosov Moscow State University
b Russian State University for the Humanities
c Steklov Mathematical Institute of Russian Academy of Sciences
d Moscow State Pedagogical 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 intersection, right division, and left division of ideals. We prove the decidability of the set of those atomic formulas in this signature that are valid for all semirings and all valuations.
Citation:
A. E. Pentus, M. R. Pentus, “The atomic theory of division and intersection of semiring ideals”, Fundam. Prikl. Mat., 21:1 (2016), 181–191; J. Math. Sci., 233:5 (2018), 724–731
Linking options:
https://www.mathnet.ru/eng/fpm1711 https://www.mathnet.ru/eng/fpm/v21/i1/p181
|
Statistics & downloads: |
Abstract page: | 3379 | Full-text PDF : | 123 | References: | 31 |
|