论文标题
Axiomatized FQ（（t））的存在理论
Axiomatizing the existential theory of Fq((t))
论文作者
论文摘要
我们研究了具有杰出统一器的赫斯氏菌有价值领域的存在理论。特别是，假设奇异性的分辨率较弱，我们获得了与残基领域的存在理论相对于存在的算法的公理化 - 因此决定了存在的算法。这既是更笼统的，又在分辨率较弱的假设下起作用，而不是Denef and Schoutens的算法，我们还详细讨论了这一点。实际上，解决奇异性的结果我们的结果是最弱的，它们在其上是真实的。
We study the existential theory of equicharacteristic henselian valued fields with a distinguished uniformizer. In particular, assuming a weak consequence of resolution of singularities, we obtain an axiomatization of - and therefore an algorithm to decide - the existential theory relative to the existential theory of the residue field. This is both more general and works under weaker resolution hypotheses than the algorithm of Denef and Schoutens, which we also discuss in detail. In fact, the consequence of resolution of singularities our results are conditional on is the weakest under which they hold true.
