具有椭圆曲线的有理点的实域
The real field with the rational points of an elliptic curve
摘要：
考虑实域由有理数上的椭圆曲线的有理点群展开。我们证明了一个完整性的结果，其次是量词消除的结果。此外，我们表明，在该结构中定义的开集是半代数的。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
