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

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2006.09.002

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,388

External links

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

Through your library

My notes

Similar books and articles

Towards the decidability of the theory of modules over finite commutative rings.Gena Puninski & Carlo Toffalori - 2009 - Annals of Pure and Applied Logic 159 (1-2):49-70.
Decidability of the theory of modules over Prüfer domains with dense value groups.Lorna Gregory, Sonia L'Innocente & Carlo Toffalori - 2019 - Annals of Pure and Applied Logic 170 (12):102719.
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.
Model theory of modules over a serial ring.Paul C. Eklof & Ivo Herzog - 1995 - Annals of Pure and Applied Logic 72 (2):145-176.
Decidability for theories of modules over valuation domains.Lorna Gregory - 2015 - Journal of Symbolic Logic 80 (2):684-711.
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 the decidability of the theory of modules over the ring of algebraic integers.Sonia L'Innocente, Carlo Toffalori & Gena Puninski - 2017 - Annals of Pure and Applied Logic 168 (8):1507-1516.
Cantor-bendixson rank of the Ziegler spectrum over a commutative valuation domain.Gennadi Puninski - 1999 - Journal of Symbolic Logic 64 (4):1512-1518.
Some Decidability Results for ℤ[G]‐Modules when G is Cyclic of Squarefree Order.Carlo Toffalori - 1996 - Mathematical Logic Quarterly 42 (1):433-445.

Analytics

Added to PP
2013-12-30

Downloads
58 (#385,307)

6 months
9 (#328,796)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Decidability for theories of modules over valuation domains.Lorna Gregory - 2015 - Journal of Symbolic Logic 80 (2):684-711.

Add more citations

References found in this work

Model theory of modules.Martin Ziegler - 1984 - Annals of Pure and Applied Logic 26 (2):149-213.
The elementary theory of abelian groups.Paul C. Eklof - 1972 - Annals of Mathematical Logic 4 (2):115.
Elementary Properties of Abelian Groups.W. Szmielew - 1959 - Journal of Symbolic Logic 24 (1):59-59.

Add more references