Publication:4281263
From MaRDI portal
zbMath0795.03016MaRDI QIDQ4281263
Publication date: 10 March 1994
decidability; locally finite varieties; commutative Artinian rings; theories of modules; locally finite affine varieties
03C60: Model-theoretic algebra
03B25: Decidability of theories and sets of sentences
13C05: Structure, classification theorems for modules and ideals in commutative rings
08C10: Axiomatic model classes
Related Items
Towards the decidability of the theory of modules over finite commutative rings, An undecidability theorem for lattices over group rings, Decidable representations, Pure-injective modules over the dihedral algebras