Decidability of the theory of modules over commutative valuation domains (Q866569)

A commutative ring \(V\) with unity is said to be a valuation ring if the lattice of ideals of \(V\) is a chain. A valuation ring without zero divisors is called a valuation domain. It is proved that if \(V\) is an effectively given valuation domain such that its value group is dense and archimedean, then the theory of all (unitary) \(V\)-modules is decidable.