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
Pages
18
From page
258
To page
275
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
Serial Year
2007
Journal title
Annals of Pure and Applied Logic
Record number
1444210
Link To Document