6 citations · 6 across the 4 of their papers we have counts for
5 papers
Decidability of the theory of modules over Prüfer domains with dense value groups
Lorna Gregory, Sonia L'Innocente, Carlo Toffalori
We provide algebraic conditions ensuring the decidability of the theory of modules over effectively given Prüfer (in particular Bézout) domains whose localizations at maximal ideal…
The torsionfree part of the Ziegler spectrum of orders over Dedekind domains
Lorna Gregory, Sonia L'Innocente, Carlo Toffalori
We study the R-torsionfree part of the Ziegler spectrum of an order Λover a Dedekind domain R. We underline and comment on the role of lattices over Λ. We describe the torsionfree…
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…
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
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.