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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,897

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.
Cantor-bendixson rank of the Ziegler spectrum over a commutative valuation domain.Gennadi Puninski - 1999 - Journal of Symbolic Logic 64 (4):1512-1518.
Comparing First Order Theories of Modules over Group Rings II: Decidability: Decidability.Carlo Toffalori & S. Cittadini - 2002 - Mathematical Logic Quarterly 48 (4):483-498.
The model completion of the theory of modules over finitely generated commutative algebras.Moshe Kamensky - 2009 - Journal of Symbolic Logic 74 (3):734-750.
Decidability for ℤ2G‐lattices when G Extends the Noncyclic Group of Order 4.Annalisa Marcja & Carlo Toffalori - 2002 - Mathematical Logic Quarterly 48 (2):203-212.
Temporal non-commutative logic: Expressing time, resource, order and hierarchy.Norihiro Kamide - 2009 - Logic and Logical Philosophy 18 (2):97-126.
The modular structure of physical theories.Olivier Darrigol - 2008 - Synthese 162 (2):195 - 223.
Dynamic non-commutative logic.Norihiro Kamide - 2010 - Journal of Logic, Language and Information 19 (1):33-51.
Some Decidability Results for ℤ[G]‐Modules when G is Cyclic of Squarefree Order.Carlo Toffalori - 1996 - Mathematical Logic Quarterly 42 (1):433-445.
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.
Rumely Domains with Atomic Constructible Boolean Algebra. An Effective Viewpoint.Claude Sureson - 2007 - Notre Dame Journal of Formal Logic 48 (3):399-423.
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.
Modules with few types over some finite-dimensional algebras.Mike Prest & Vera Puninskaya - 2002 - Journal of Symbolic Logic 67 (2):841-858.

Analytics

Added to PP
2013-12-30

Downloads
40 (#398,369)

6 months
12 (#213,710)

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