2 search results - page 1 / 1 » Decidability of the theory of modules over commutative valua... |
APAL
2007
13 years 5 months ago
2007
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.
ICALP
2005
Springer
13 years 10 months ago
2005
Springer
In this paper we initiate the study of discrete random variables over domains. Our work is inspired by work of Daniele Varacca, who devised indexed valuations as models of probabi...