Henselian 赋值可定义性的近期进展
逻辑
2016-08-09 v1
摘要
尽管对 Henselian 赋值可定义性的研究有着始于 J. Robinson 的悠久历史，但该领域的大多数成果是在最近几年才被证明的。我们综述了这些结果，它们涉及具体 Henselian 赋值的可定义性、给定域上可定义 Henselian 赋值的存有性，以及一致性和量词复杂度的问题。
关键词
引用
@article{arxiv.1608.02342,
title = {Recent Progress on Definability of Henselian Valuations},
author = {Arno Fehm and Franziska Jahnke},
journal= {arXiv preprint arXiv:1608.02342},
year = {2016}
}
备注
Survey article, 8 pages