有理数域在伪指数域中不是普遍可定义的
逻辑
2018-05-17 v2
摘要
我们证明了有理数域不能由 Zilber 伪指数域中的全称公式来定义。
引用
@article{arxiv.1407.1068,
title = {The rational field is not universally definable in pseudo-exponentiation},
author = {Jonathan Kirby},
journal= {arXiv preprint arXiv:1407.1068},
year = {2018}
}
备注
7 pages, substantial improvements to the previous version