Decidability of the theory of modules over Prüfer domains with infinite residue fields
Fuente:
arXiv
Salvato in:
| Autori principali: | , , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2017
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866912162214051840 |
|---|---|
| author | Gregory, Lorna L'Innocente, Sonia Puninski, Gena Toffalori, Carlo |
| author_facet | Gregory, Lorna L'Innocente, Sonia Puninski, Gena 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 with infinite residue fields in terms of a suitable generalization of the prime radical relation. For Bézout domains these conditions are also necessary. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_1706_08940 |
| institution | arXiv |
| publishDate | 2017 |
| record_format | arxiv |
| spellingShingle | Decidability of the theory of modules over Prüfer domains with infinite residue fields Gregory, Lorna L'Innocente, Sonia Puninski, Gena 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 with infinite residue fields in terms of a suitable generalization of the prime radical relation. For Bézout domains these conditions are also necessary. |
| title | Decidability of the theory of modules over Prüfer domains with infinite residue fields |
| topic | Logic 03C60 (primary), 03C98, 03B25, 13F05 |
| url | https://arxiv.org/abs/1706.08940 |