Decidability and modules over Bezout domains

被引：0
|
作者：
Toffalori, Carlo [1 ,2 ]
机构：
[1] Univ Camerino, Sch Sci & Technol, Camerino, Italy
[2] Univ Camerino, Sch Sci & Technol, Div Math, Camerino, Italy
来源：
MODEL THEORY OF MODULES, ALGEBRAS AND CATEGORIES | 2019年 / 730卷
关键词：
Bezout domain; Prufer domain; valuation domain; Ziegler topology; decidability; prime radical relation; double prime radical relation; ZIEGLER SPECTRUM; MODEL-THEORY; RING;
D O I：
10.1090/conm/730/14718
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
I survey recent results on the decidability of first order theories of modules over several noteworthy Bezout domains.
引用
收藏
页码：223 / 237
页数：15
相关论文
共 50 条
  • [1] A NOTE ON POLYCYCLIC MODULES OVER BEZOUT DOMAINS
    NAUDE, C
    COMMUNICATIONS IN ALGEBRA, 1985, 13 (10) : 2211 - 2217
  • [2] DECIDABILITY FOR THEORIES OF MODULES OVER VALUATION DOMAINS
    Gregory, Lorna
    JOURNAL OF SYMBOLIC LOGIC, 2015, 80 (02) : 684 - 711
  • [3] Decidability of the theory of modules over commutative valuation domains
    Puninski, G.
    Puninskaya, V.
    Toffalori, C.
    ANNALS OF PURE AND APPLIED LOGIC, 2007, 145 (03) : 258 - 275
  • [4] Some model theory of modules over Bezout domains. The width
    Puninski, Gena
    Toffalori, Carlo
    JOURNAL OF PURE AND APPLIED ALGEBRA, 2015, 219 (04) : 807 - 829
  • [5] A geometric approach to free left modules over right Bezout domains
    Greferath, M
    GEOMETRIAE DEDICATA, 1996, 60 (02) : 219 - 224
  • [6] DECIDABILITY OF THE THEORY OF MODULES OVER PRUFER DOMAINS WITH INFINITE RESIDUE FIELDS
    Gregory, Lorna
    L'innocente, Sonia
    Puninski, Gena
    Toffalori, Carlo
    JOURNAL OF SYMBOLIC LOGIC, 2018, 83 (04) : 1391 - 1412
  • [7] Decidability of the theory of modules over Prufer domains with dense value groups
    Gregory, Lorna
    L'Innocente, Sonia
    Toffalori, Carlo
    ANNALS OF PURE AND APPLIED LOGIC, 2019, 170 (12)
  • [8] Bezout domains and lattice-valued modules
    L'Innocente, Sonia
    Point, Frangoise
    JOURNAL OF PURE AND APPLIED ALGEBRA, 2020, 224 (01) : 444 - 467
  • [9] MODULES OVER SEMIHEREDITARY BEZOUT RINGS
    SHORES, TS
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1974, 46 (02) : 211 - 213
  • [10] Valued modules on skew polynomial rings and Bezout domains
    Point, Francoise
    MODEL THEORY OF MODULES, ALGEBRAS AND CATEGORIES, 2019, 730 : 97 - 114
12345