论文标题
准实体闭合场的量化器消除
Quantifier elimination for quasi-real closed fields
论文作者
论文摘要
我们证明了具有兼容估值的准真实闭合场理论的量化器消除。这统一了代数封闭的估值场和实际封闭估值场的已知结果。
We prove quantifier elimination for the theory of quasi-real closed fields with a compatible valuation. This unifies the same known results for algebraically closed valued fields and real closed valued fields.
