The real field with the rational points of an elliptic curve

The real field with the rational points of an elliptic curve
复制标题

具有椭圆曲线有理点的实域

DOI：
--
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
Philipp Hieronymi
Philipp Hieronymi
中科院分区：
--
文献类型：
--
作者：
Ayhan Gunaydin;Philipp Hieronymi

文献摘要

被引文献

相似文献

我们考虑通过有理数上椭圆曲线的有理点组来扩展实域。我们证明了完整性结果，然后是量词消除结果。此外，我们证明在该结构中可定义的开集是半代数的。
We consider the expansion of the real field by the group of rational points of an elliptic curve over the rational numbers. We prove a completeness result, followed by a quantifier elimination result. Moreover we show that open sets definable in that structure are semialgebraic.