有界伪实闭域中的虚元
逻辑
2014-12-01 v1
摘要
本文的主要结果是：如果是一个有界 PRC 域，那么在由常数符号扩展的环语言中消去虚元。
引用
@article{arxiv.1411.7645,
title = {Imaginaries in bounded pseudo real closed fields},
author = {Samaria Montenegro},
journal= {arXiv preprint arXiv:1411.7645},
year = {2014}
}