Towards the decidability of the theory of modules over finite commutative rings

&
Annals of Pure and Applied Logic 159 (1-2):49-70 (2009)
  Copy   BIBTEX

Abstract

On the basis of the Klingler–Levy classification of finitely generated modules over commutative noetherian rings we approach the old problem of classifying finite commutative rings R with a decidable theory of modules. We prove that if R is wild, then the theory of all R-modules is undecidable, and verify decidability of this theory for some classes of tame finite commutative rings

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2008.10.009

Links

PhilArchive



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

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

Decidability of the theory of modules over commutative valuation domains.Gennadi Puninski, Vera Puninskaya & Carlo Toffalori - 2007 - Annals of Pure and Applied Logic 145 (3):258-275.
Diophantine properties of finite commutative rings.Mihai Prunescu - 2003 - Archive for Mathematical Logic 42 (3):293-302.
Comparing First Order Theories of Modules over Group Rings II: Decidability: Decidability.Carlo Toffalori & S. Cittadini - 2002 - Mathematical Logic Quarterly 48 (4):483-498.
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.
Commutative rings whose ideals form an MV‐algebra.Lawrence P. Belluce & Antonio Di Nola - 2009 - Mathematical Logic Quarterly 55 (5):468-486.
A note on the decidability of exponential terms.Paola D'Aquino & Giuseppina Terzo - 2007 - Mathematical Logic Quarterly 53 (3):306-310.
A hierarchy of tree-automatic structures.Olivier Finkel & Stevo Todorčević - 2012 - Journal of Symbolic Logic 77 (1):350-368.
The theory of {vec Z}C(2)^2-lattices is decidable.Stefano Baratella & Carlo Toffalori - 1998 - Archive for Mathematical Logic 37 (2):91-104.
The model completion of the theory of modules over finitely generated commutative algebras.Moshe Kamensky - 2009 - Journal of Symbolic Logic 74 (3):734-750.
On Boolean algebras and integrally closed commutative regular rings.Misao Nagayama - 1992 - Journal of Symbolic Logic 57 (4):1305-1318.
Rings which admit elimination of quantifiers.Bruce I. Rose - 1978 - Journal of Symbolic Logic 43 (1):92-112.
ℵ0-categorical modules.Walter Baur - 1975 - Journal of Symbolic Logic 40 (2):213 - 220.
Weakly minimal modules over integral group rings and over related classes of rings.Stefano Leonesi, Sonia L'Innocente & Carlo Toffalori - 2005 - Mathematical Logic Quarterly 51 (6):613-625.
Temporal non-commutative logic: Expressing time, resource, order and hierarchy.Norihiro Kamide - 2009 - Logic and Logical Philosophy 18 (2):97-126.
Dynamic non-commutative logic.Norihiro Kamide - 2010 - Journal of Logic, Language and Information 19 (1):33-51.

Analytics

Added to PP
2013-12-22

Downloads
18 (#832,589)

6 months
10 (#268,574)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

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.
On the elementary theory of quadruples of vector spaces.Walter Baur - 1980 - Annals of Mathematical Logic 19 (3):243.

Add more references