Henselian 赋值域与 inp-极小性
逻辑
2019-08-27 v2 交换代数
摘要
我们证明每个 -adics 的超积是 inp-极小的(即 burden 为 1)。更一般地,我们证明了在 RV 语言中等特征 0 的 Henselian 赋值域的 inp-极小性保持的 Ax-Kochen 型结果。
引用
@article{arxiv.1601.07313,
title = {Henselian valued fields and inp-minimality},
author = {Artem Chernikov and Pierre Simon},
journal= {arXiv preprint arXiv:1601.07313},
year = {2019}
}
备注
v.2: 15 pages, minor corrections and presentation improvements; accepted to the Journal of Symbolic Logic