代数闭赋值域中的量词消去与极小性条件
逻辑
2010-06-09 v1
摘要
在Hrushovski-Kazhdan积分理论中引入了Basarab-Kuhlmann风格的语言L_RV。用这种语言表述的代数闭赋值域理论ACVF允许量词消去。在本文中，利用赋值域理论中的众所周知的事实，我们给出了这一事实的直接证明。我们还展示了ACVF的两种扩张，一种带有整个RV-类的截面，另一种带有剩余域的截面，都允许量词消去。随后我们表明，就某些极小性条件而言，这三种理论在几何上是不同的。
引用
@article{arxiv.1006.1393,
title = {Quantifier elimination and minimality conditions in algebraically closed valued fields},
author = {Yimu Yin},
journal= {arXiv preprint arXiv:1006.1393},
year = {2010}
}
备注
submitted