Decidability of the theory of modules over Prüfer domains with dense value groups
arXiv:1906.03902 · doi:10.1016/j.apal.2019.102719
Abstract
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.
arXiv comment29 pages