Decidability of the theory of modules over Prüfer domains with dense value groups

Abstract We provide algebraic conditions ensuring the decidability of the theory of modules over effectively given Prufer (in particular Bezout) domains whose localizations at maximal ideals have dense value groups. For Bezout domains, these conditions are also necessary.