Submission date: 14 January 2019

Abstract:

We provide algebraic conditions ensuring the decidability of the theory of modules over effectively given Pruefer (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: Pruefer domain, B ézout domain, Dense value group, Decidability.

Full text: pdf, dvi, ps.