Decidability of the theory of modules over Prüfer domains with dense value groups

Lorna Gregory, Sonia L'Innocente, Carlo Toffalori

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)


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.

Original languageEnglish
Article number102719
JournalAnnals of Pure and Applied Logic
Issue number12
Publication statusPublished - Dec 2019


  • Bézout domain
  • Decidability
  • Dense value group
  • Prüfer domain

Cite this