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.

Updated so that the title and abstract matches the published version. Other minor corrections and changes made