On the decidability of the theory of modules over the ring of algebraic   integers
  We prove that the theory of all modules over the ring of algebraic integers is decidable. 
Sonia L'Innocente, Carlo Toffalori and Gena Puninski
math.LO