Decidability of the theory of modules over Pr\"ufer domains with infinite residue fields
Logic
2024-12-23 v2
Abstract
We provide algebraic conditions ensuring the decidability of the theory of modules over effectively given Pr\"ufer (in particular B\'ezout) domains with infinite residue fields in terms of a suitable generalization of the prime radical relation. For B\'{e}zout domains these conditions are also necessary.
Keywords
Cite
@article{arxiv.1706.08940,
title = {Decidability of the theory of modules over Pr\"ufer domains with infinite residue fields},
author = {Lorna Gregory and Sonia L'Innocente and Gena Puninski and Carlo Toffalori},
journal= {arXiv preprint arXiv:1706.08940},
year = {2024}
}
Comments
Updated so that the title and abstract matches the published version. Other minor corrections and changes made