Decidability of the theory of modules over prüfer domains with infinite residue fields

Lorna Gregory, Sonia L'Innocente, Gena Puninski, Carlo Toffalori

Research output: Contribution to journalArticlepeer-review

5 Citations (Scopus)

Abstract

We provide algebraic conditions ensuring the decidability of the theory of modules over effectively given Prüfer (in particular Bézout) domains with infinite residue fields in terms of a suitable generalization of the prime radical relation. For Bézout domains these conditions are also necessary.

Original languageEnglish
Pages (from-to)1391-1412
Number of pages22
JournalJournal of Symbolic Logic
Volume83
Issue number4
DOIs
Publication statusPublished - 1 Dec 2018

Keywords

  • Bézout domain
  • decidability
  • prime radical relation
  • Prüfer domain

Cite this