Decidability of the theory of modules over Pr\"ufer domains with dense value groups
Logic
2024-12-17 v1
Abstract
We provide algebraic conditions ensuring the decidability of the theory of modules over effectively given Pr\"ufer (in particular B\'ezout) domains whose localizations at maximal ideals have dense value groups. For B\'ezout domains, these conditions are also necessary.
Keywords
Cite
@article{arxiv.1906.03902,
title = {Decidability of the theory of modules over Pr\"ufer domains with dense value groups},
author = {Lorna Gregory and Sonia L'Innocente and Carlo Toffalori},
journal= {arXiv preprint arXiv:1906.03902},
year = {2024}
}
Comments
29 pages