• Citations Per Year
Learn More
We are interested here in the first-order theory of /?-modules: in when it is decidable and in when it differs from the theory of finitely generated /^-modules. It is an open problem to characterise those rings over which the common theory TR of /^-modules is decidable, although an answer has been given for some classes of algebras (see [8,11,12]). Here we(More)
  • 1