Dp-有限域 II：标准拓扑及其与 Hensel 性的关系
逻辑
2019-10-18 v2
摘要
我们延续先前对 dp-有限域的研究。我们证明 [6] 中的“重集”恰好是满 dp-秩的集合。由此推得，满 dp-秩在集合的可定义族中是一个可定义性质。若 为无穷小群，我们证明 是乘法无穷小群。由此我们推得标准拓扑是一个域拓扑。最后，我们考虑（不太可能的）标准拓扑是 V-拓扑的猜想。在该猜想下，我们推得 Halevi、Hasson 与 Jahnke 所猜想的 dp-有限域分类。
引用
@article{arxiv.1910.05932,
title = {Dp-finite fields II: the canonical topology and its relation to henselianity},
author = {Will Johnson},
journal= {arXiv preprint arXiv:1910.05932},
year = {2019}
}
备注
Added reference to Halevi-Palacin