TY - RPRT TI - Decidability of the theory of modules over Prüfer domains with infinite residue fields AU - Lorna Gregory AU - Sonia L'Innocente AU - Gena Puninski AU - Carlo Toffalori PY - 2019 DO - 10.1017/jsl.2018.58 UR - https://arxiv.org/abs/1706.08940 ID - 1706.08940 ER -