Decidability of the theory of modules over Prüfer domains with dense value groups
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2019
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866913611932237824 |
|---|---|
| author | Gregory, Lorna L'Innocente, Sonia Toffalori, Carlo |
| author_facet | Gregory, Lorna L'Innocente, Sonia Toffalori, Carlo |
| contents | We provide algebraic conditions ensuring the decidability of the theory of modules over effectively given Prüfer (in particular Bézout) domains whose localizations at maximal ideals have dense value groups. For Bézout domains, these conditions are also necessary. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_1906_03902 |
| institution | arXiv |
| publishDate | 2019 |
| record_format | arxiv |
| spellingShingle | Decidability of the theory of modules over Prüfer domains with dense value groups Gregory, Lorna L'Innocente, Sonia Toffalori, Carlo Logic 03C60 (primary), 03C98, 03B25, 13F05 We provide algebraic conditions ensuring the decidability of the theory of modules over effectively given Prüfer (in particular Bézout) domains whose localizations at maximal ideals have dense value groups. For Bézout domains, these conditions are also necessary. |
| title | Decidability of the theory of modules over Prüfer domains with dense value groups |
| topic | Logic 03C60 (primary), 03C98, 03B25, 13F05 |
| url | https://arxiv.org/abs/1906.03902 |