Title of article :
Decidability of the theory of modules over commutative valuation domains
Author/Authors :
Puninski، نويسنده , , G. and Puninskaya، نويسنده , , V. and Toffalori، نويسنده , , C.، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2007
Abstract :
We prove that, if V is an effectively given commutative valuation domain such that its value group is dense and archimedean, then the theory of all V -modules is decidable.
Keywords :
Commutative valuation domain , Theory of modules , Ziegler spectrum , Decidability
Journal title :
Annals of Pure and Applied Logic
Journal title :
Annals of Pure and Applied Logic
