Sciweavers

APAL
2007

75views more APAL 2007»

Decidability of the theory of modules over commutative valuation domains

13 years 5 months ago

We prove that, if V is an eﬀectively given commutative valuation domain such that its value group is dense and archimedean, then the theory of all V -modules is decidable.

Gennadi Puninski, Vera Puninskaya, Carlo Toffalori

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers