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

Preprint Number 1239

Previous Next Preprint server

1239. Lorna Gregory, Sonia L'Innocente, Gena Puninski, Carlo Toffalori
Decidability of the theory of modules over Bézout domains with infinite residue fields

Submission date: 12 June 2017


We provide algebraic conditions ensuring the decidability of the theory of modules over effectively given Pr uefer (in particular Bézout) domains in terms of a suitable generalization of the prime radical relation.

Mathematics Subject Classification: 03C60 (primary), 03C98, 03B25, 13F05

Keywords and phrases: Prüt;fer domain, Bézout domain, Prime radical relation, Decidability.

Full text: pdf, ps.

Last updated: July 3 2017 14:07 Please send your corrections to: