arXiv subjects
Publications and source records attributed to 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 ideals have dense value groups. For Bézout domains, these conditions are also necessary.
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 terms of a suitable generalization of the prime radical relation. For Bézout domains these conditions are also necessary.
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 part of the spectrum when Λis of finite lattice representation type.
We will describe the Ziegler spectrum of the ring of entire complex valued functions
We prove that the theory of all modules over the ring of algebraic integers is decidable.