7 citations · 17 across the 11 of their papers we have counts for
6 papers · 1 filter
Decidability for the theory of modules over a Prüfer domain
Lorna Gregory
In this paper we give elementary conditions completely characterising when the theory of modules of a Prüfer domain is decidable. Using these results, we show that the theory of mo…
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…
Ziegler Spectra of Serial Rings
Lorna Gregory, Gena Puninski
In this paper we prove that the Ziegler spectra of all serial rings are sober. We then use this proof to give a general framework for computing and understanding Ziegler spectra of…
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…
Decidability of theories of modules over tubular algebras
Lorna Gregory
We show that the common theory of all modules over a tubular algebra (over a recursive algebraically closed field) is decidable. This result supports a long standing conjecture of…