整代数函数环的理论
逻辑
2023-12-12 v2 数论
摘要
设 A 为多项式环 在单变量代数函数域内的整闭包。我们证明 A 可解释整数环。这与有限域上的类似情形形成对比，后者已被证明具有可判定理论（见 Prestel-Schmid 与 van den Dries-A. Macintyre）。
引用
@article{arxiv.2305.12226,
title = {The Theory of the Entire Algebraic Functions},
author = {Taylor Dupuy and Ehud Hrushovski},
journal= {arXiv preprint arXiv:2305.12226},
year = {2023}
}