Decidability of the theory of modules over Prüfer domains with infinite residue fields
Abstract
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2017
- DOI:
- arXiv:
- arXiv:1706.08940
- Bibcode:
- 2017arXiv170608940G
- Keywords:
-
- Mathematics - Logic;
- 03C60 (primary);
- 03C98;
- 03B25;
- 13F05
- E-Print:
- Updated so that the title and abstract matches the published version. Other minor corrections and changes made