3 papers
math.LO2017
Decidability of the theory of modules over Prüfer domains with infinite residue fields
Lorna Gregory, Sonia L'Innocente, Gena Puninski +1
We provide algebraic conditions ensuring the decidability of the theory of modules over effectively given Prüfer (in particular Bézout) domains with infinite residue fields in term…
math.LO2017
The Ziegler spectrum of the ring of entire complex valued functions
Sonia L'Innocente, Francoise Point, Gena Puninski +1
We will describe the Ziegler spectrum of the ring of entire complex valued functions
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.