强依赖亨泽尔域中的域量词消去
逻辑
2018-11-06 v3
摘要
我们在Denef-Pas语言中证明了强依赖亨泽尔域的域量词消去。这是通过证明一类推广了代数极大Kaplansky域的域的结果而实现的。我们推导出若是强依赖的，则其亨泽尔化也是。
引用
@article{arxiv.1707.03188,
title = {Eliminating Field Quantifiers in Strongly Dependent Henselian Fields},
author = {Yatir Halevi and Assaf Hasson},
journal= {arXiv preprint arXiv:1707.03188},
year = {2018}
}
备注
The original version was for algebraically maximal kaplansky fields. This new version is a generalization