Fq((t)) 存在性理论的公理化
逻辑
2023-10-04 v4 数论
摘要
我们研究具有一个指定一致元的等特征 hensel 赋值域的存在性理论。特别地，在假设奇点消解的一个弱推论下，相对于剩余域的存在性理论，我们得到了其存在性理论的一个公理化——并因此得到判定该存在性理论的算法。这比 Denef 与 Schoutens 的算法更具一般性且在更弱的奇点消解假设下成立，我们也详细讨论了该算法。事实上，我们的结果所依赖的奇点消解推论是使其成立的最弱条件。
引用
@article{arxiv.2205.05438,
title = {Axiomatizing the existential theory of Fq((t))},
author = {Sylvy Anscombe and Philip Dittmann and Arno Fehm},
journal= {arXiv preprint arXiv:2205.05438},
year = {2023}
}
备注
New Remark 4.18 and expanded Remark 2.4