Sciweavers

APAL
2007

75views more APAL 2007»

Decidability of the theory of modules over commutative valuation domains

15 years 3 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

Sciweavers