TY - RPRT TI - Decidability for the theory of modules over a Prüfer domain AU - Lorna Gregory PY - 2021 DO - 10.1093/imrn/rnac318 UR - https://arxiv.org/abs/2107.05152 ID - 2107.05152 ER -