关于可定义典范 Hensel 赋值的量词复杂度
逻辑
2014-11-26 v1
摘要
我们讨论了在不带参数的环语言中，域的唯一典范 Hensel 赋值的可定义性。我们表明，在大多数典范 Hensel 赋值可定义的情况下，它已经可以通过一个全称 - 存在公式或一个存在 - 全称公式来定义。
引用
@article{arxiv.1411.6844,
title = {On the quantifier complexity of definable canonical henselian valuations},
author = {Arno Fehm and Franziska Jahnke},
journal= {arXiv preprint arXiv:1411.6844},
year = {2014}
}
备注
17 pages