Decidability of the theory of modules over commutative valuation domains

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

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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,098

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

Model theory of modules over a serial ring.Paul C. Eklof & Ivo Herzog - 1995 - Annals of Pure and Applied Logic 72 (2):145-176.
Modules in the category of sheaves over quantales.Marcelo E. Coniglio & Francisco Miraglia - 2001 - Annals of Pure and Applied Logic 108 (1-3):103-136.
Quantifier elimination for modules with scalar variables.Lou van den Dries & Jan Holly - 1992 - Annals of Pure and Applied Logic 57 (2):161-179.
On elementary properties of free lie algebras.Andreas Baudisch - 1986 - Annals of Pure and Applied Logic 30 (2):121-136.

Analytics

Added to PP
2013-12-30

Downloads
41 (#400,450)

6 months
13 (#219,908)

Historical graph of downloads
How can I increase my downloads?