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

DOI10.1016/j.apal.2008.10.009zbMath1168.03024OpenAlexW2057477641MaRDI QIDQ1023048

Carlo Toffalori, Gena Puninski

Publication date: 10 June 2009

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2008.10.009

zbMATH Keywords

decidabilityrepresentation typefinite commutative ringZiegler spectrumtheory of modulesKlingler-Levy classification

Mathematics Subject Classification ID

Finite rings and finite-dimensional associative algebras (16P10) Model-theoretic algebra (03C60) Injective modules, self-injective associative rings (16D50) Structure and classification for modules, bimodules and ideals (except as in 16Gxx), direct sum decomposition and cancellation in associative algebras) (16D70) Decidability of theories and sets of sentences (03B25) Applications of logic to commutative algebra (13L05)

Related Items

The torsion-free part of the Ziegler spectrum of the Klein four group, Pure injective indecomposable modules over 1-domestic string algebras.

Cites Work

• The Ziegler and Zariski spectra of some domestic string algebras.
• Representation type of commutative Noetherian rings. I: Local wildness
• Representation type of commutative Noetherian rings. II: Local tameness
• Tame algebras and integral quadratic forms
• Model theory of modules
• The structure of decidable locally finite varieties
• Ziegler spectra of tame hereditary algebras
• Representations of commutative algebras
• The first order properties of products of algebraic systems
• Cancellation Counterexamples in Krull Dimension 1
• Auslander-reiten sequences with few middle terms and applications to string algebrass
• On the elementary theory of quadruples of vector spaces
• Wild representation type and undecidability
• Indecomposable representations of graphs and algebras
• Elementary Duality of Modules
• The Ziegler Spectrum of a Locally Coherent Grothendieck Category
• The Ziegler spectrum of a tame hereditary algebra
• One-directed indecomposable pure injective modules over string algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item