概型几何点的一阶理论：Chevalley定理与量词消去
代数几何
2015-04-15 v1 逻辑
摘要
关于概型态射像的Chevalley定理，与代数闭域理论中的量词消去原理，被广泛认为是同一定理的两个视角。在本文中，我们证明这两个结果可以轻易地同时得到证明，使用了几何与逻辑技术的混合。在此过程中，我们赋予了概型的几何点及其有限呈现态射以逻辑意义，其方式让人想起Spencer Breiner的逻辑概型。
引用
@article{arxiv.1504.03377,
title = {The first-order theory of geometric points of schemes: Chevalley's theorem and quantifier elimination},
author = {L. Alexander Betts},
journal= {arXiv preprint arXiv:1504.03377},
year = {2015}
}
备注
4 pages