Publications > Preprint server > Preprint Number 1239
Preprint Number 1239
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.
|Last updated: July 3 2017 14:07||Please send your corrections to:|