论文标题
有价值的领域和相关结构的距离
Distality in valued fields and related structures
论文作者
论文摘要
我们研究了有价值领域和相关结构中远端膨胀的距离和存在。特别是，我们表征了大量有序的阿贝尔群体中的距离，为Henselian Reedure Fields提供了Ake式的表征，并证明了某些场的膨胀，例如，对数指数跨性别的差异场是远端的。作为分析有价值领域的新工具，我们采用了相对的量化器消除Abelian组的纯短精确序列。
We investigate distality and existence of distal expansions in valued fields and related structures. In particular, we characterize distality in a large class of ordered abelian groups, provide an AKE-style characterization for henselian valued fields, and demonstrate that certain expansions of fields, e.g., the differential field of logarithmic-exponential transseries, are distal. As a new tool for analyzing valued fields we employ a relative quantifier elimination for pure short exact sequences of abelian groups.
