Publications > Preprint server > Preprint Number 1622
Preprint Number 1622
1622. Lorna Gregory, Sonia L'Innocente and Carlo Toffalori Decidability of the theory of modules over Prüfer domains with dense value groups E-mail: Submission date: 10 June 2019 Abstract: 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. Mathematics Subject Classification: 03C60 (primary), 03C98, 03B25, 13F05 Keywords and phrases: |
Last updated: March 23 2021 09:21 | Please send your corrections to: |