MODNET
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
E-mail:

Submission date: 12 June 2017

Abstract:

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: