Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4662181 | Annals of Pure and Applied Logic | 2009 | 22 Pages |
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 (finite length) wild, then the theory of all R-modules is undecidable, and verify decidability of this theory for some classes of tame finite commutative rings.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic