Decidability of the theory of modules over commutative valuation domains

Annals of Pure and Applied Logic 145 (3):258-275 (2007)
  Copy   BIBTEX


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



    Upload a copy of this work     Papers currently archived: 89,764

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Dynamic non-commutative logic.Norihiro Kamide - 2010 - Journal of Logic, Language and Information 19 (1):33-51.
Decidability for ℤ[G]‐Modules when G is Cyclic of Prime Order.Carlo Toffalori - 1996 - Mathematical Logic Quarterly 42 (1):369-378.
On pairs of free modules over a Dedekind domain.Saverio Cittadini & Carlo Toffalori - 2006 - Archive for Mathematical Logic 45 (1):75-95.
The theory of {vec Z}C(2)^2-lattices is decidable.Stefano Baratella & Carlo Toffalori - 1998 - Archive for Mathematical Logic 37 (2):91-104.
Some Model Theory of Sheaves of Modules.Mike Prest, Vera Puninskaya & Alexandra Ralph - 2004 - Journal of Symbolic Logic 69 (4):1187 - 1199.


Added to PP

29 (#469,147)

6 months
2 (#652,025)

Historical graph of downloads
How can I increase my downloads?