Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1622

Preprint Number 1622

Previous Next Preprint server

1622. Lorna Gregory, Sonia L'Innocente and Carlo Toffalori
Decidability of the theory of modules over Prüfer domains with dense value groups

Submission date: 10 June 2019


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:

Full text arXiv 1906.03902: pdf, ps.

Last updated: March 23 2021 10:21 Please send your corrections to: