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 条
  • [11] MULTIPLICATION MODULES AND IDEALS
    LOW, GM
    SMITH, PF
    COMMUNICATIONS IN ALGEBRA, 1990, 18 (12) : 4353 - 4375
  • [12] Multiplication modules and ideals
    Tuganbaev A.A.
    Journal of Mathematical Sciences, 2006, 136 (4) : 4116 - 4130
  • [13] FUZZY PRIME IDEALS OF A SEMIRING AND FUZZY PRIME SUB-SEMIMODULES OF A SEMIMODULE OVER A SEMIRING
    Ahsan, J.
    Saifullah, K.
    Shabir, M.
    NEW MATHEMATICS AND NATURAL COMPUTATION, 2006, 2 (03) : 219 - 236
  • [14] MONIC FREE IDEALS IN A POLYNOMIAL SEMIRING IN SEVERAL VARIABLES
    DALE, L
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (02): : A299 - A299
  • [15] Division by multiplication
    Campbell, JID
    MEMORY & COGNITION, 1999, 27 (05) : 791 - 802
  • [16] Division for multiplication
    Ramin Golestanian
    Nature Physics, 2017, 13 : 323 - 324
  • [17] Ideals in the Ternary Semiring of Non-Positive Integers
    Chaudhari, Jayprakash Ninu
    Ingale, Kunal Julal
    BULLETIN OF THE MALAYSIAN MATHEMATICAL SCIENCES SOCIETY, 2014, 37 (04) : 1149 - 1156
  • [18] Properties of k-hybrid ideals in ternary semiring
    Muhiuddin, G.
    John, J. Catherine Grace
    Elavarasan, B.
    Porselvi, K.
    Al-Kadi, D.
    JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2022, 42 (06) : 5799 - 5807
  • [19] Division by multiplication
    Jamie I. D. Campbell
    Memory & Cognition, 1999, 27 : 791 - 802
  • [20] A General Type of Regularity and Semiprime Ideals in Ternary Semiring
    Dutta, T. K.
    Mandal, S.
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ALGEBRA 2010: ADVANCES IN ALGEBRAIC STRUCTURES, 2012, : 219 - 232
12345