代数闭域理论中 Tarski 量词消去定理的构造性证明
逻辑
2016-07-20 v1 数学物理
math.MP
摘要
假设 表示代数闭域理论。A. Tarski 的著名定理指出 允许量词消去。在本文中，我们给出了 中 Tarski 量词消去定理的构造性证明。这意味着对于域语言中的给定公式 ，我们构造一个无量词公式 ，使得 。我们将论文的最后一部分致力于展示该构造性版本在数学和物理学中的一些应用。
引用
@article{arxiv.1607.05505,
title = {A constructive proof of Tarski's theorem on quantifier elimination in the theory of ACF},
author = {Grzegorz Pastuszak},
journal= {arXiv preprint arXiv:1607.05505},
year = {2016}
}