activity
20162019
most citedDecidability of the theory of modules over Prüfer domains with infinite residue fields

6 citations · 6 across the 4 of their papers we have counts for

collaborators
Showing 2016Show all

1 paper · 1 filter

math.LO2016

On the decidability of the theory of modules over the ring of algebraic integers

Sonia L'Innocente, Carlo Toffalori, Gena Puninski

We prove that the theory of all modules over the ring of algebraic integers is decidable.