Prüfer 域上模理论的可判定性
Decidability for the theory of modules over a Prüfer domain
AI总结：
该研究给出刻画 Prüfer 域模理论可判定性的基本条件，并据此证明整值多项式环的模理论具有可判定性，为相关代数结构的判定问题提供了结论。
摘要：
本文给出了基本条件，可完全刻画 Prüfer 域的模理论何时是可判定的。利用这些结果，我们证明了整值多项式环的模理论是可判定的。
英文摘要：
In this paper we give elementary conditions completely characterising when the theory of modules of a Prüfer domain is decidable. Using these results, we show that the theory of modules of the ring of integer valued polynomials is decidable.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
