分歧的消除 II：Henselian 合理性

我们在任意特征下证明，在驯域 $K$ 上超越次数为1的即时赋值代数函数域 $F$ 包含于对适当选取的 $x\in F$ 的 $K(x)$ 的 Hensel 化中。这消除了此类赋值函数域中的分歧。我们给出了该结果的推广，放宽了对 $K$ 的假设。我们的定理对正特征和混合特征的赋值域的局部均匀化和模型理论有重要应用。