The atomic theory of multiplication and division of semiring ideals

被引：0

作者：

Pentus A.E. ^{[1
]}

Pentus M.R. ^{[1
]}

机构：

[1] Moscow State University, Moscow

来源：

Journal of Mathematical Sciences | 2010年 / 167卷 / 6期

关键词：

Induction Hypothesis; Function Symbol; Atomic Formula; Universal Model; Predicate Symbol;

D O I：

10.1007/s10958-010-9964-3

中图分类号：

学科分类号：

摘要：

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 ⊆ 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. © 2010 Springer Science+Business Media, Inc.

引用

页码：841 / 856

页数：15

共 50 条

[31] MULTIPLICATION IDEALS, MULTIPLICATION RINGS AND RING R(X)
ANDERSON, DD
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (02): : A300 - A300
[32] PRINCIPAL IDEALS AND MULTIPLICATION RINGS
SINGH, S
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1970, 17 (03): : 562 - &
[33] Ideals and submodules of multiplication modules
Lee, SC
Kim, S
Chung, SC
JOURNAL OF THE KOREAN MATHEMATICAL SOCIETY, 2005, 42 (05) : 933 - 948
[34] MONIC AND MONIC FREE IDEALS IN A POLYNOMIAL SEMIRING IN SEVERAL VARIABLES
DALE, L
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 61 (02) : 209 - 216
[35] Elements of the Theory and Technique of Multiplication-Division Operations in Pseudoneural Systems
Kobyak, I. P.
AUTOMATIC CONTROL AND COMPUTER SCIENCES, 2008, 42 (01) : 10 - 19
[36] MATHFACTS MULTIPLICATION AND DIVISION
不详
JOURNAL OF LEARNING DISABILITIES, 1976, 9 (09) : 549 - 549
[37] Elements of the theory and technique of multiplication-division operations in pseudoneural systems
Kobyak I.P.
Autom. Control Comput. Sci., 2008, 1 (10-19): : 10 - 19
[38] Elements of the theory and technique of multiplication-division operations in pseudoneural systems
I. P. Kobyak
Automatic Control and Computer Sciences, 2008, 42 (1) : 10 - 19
[39] Frequency multiplication and division
Sterky, H
PROCEEDINGS OF THE INSTITUTE OF RADIO ENGINEERS, 1937, 25 (09): : 1153 - 1173
[40] Minimal k-bi-ideals and strong quasi k-ideals in an ai-semiring
Bhuniya A.K.
Jana K.
Afrika Matematika, 2018, 29 (7-8) : 1105 - 1113

← 1 2 3 4 5 →