@misc{indiciae9407865521a1, title = {Decidability of the theory of modules over Prüfer domains with infinite residue fields}, author = {Lorna Gregory and Sonia L'Innocente and Gena Puninski and Carlo Toffalori}, year = {2019}, doi = {10.1017/jsl.2018.58}, url = {https://arxiv.org/abs/1706.08940}, note = {Source identifier: 1706.08940} }