Scifaro

中文

带有椭圆曲线有理点的实数域

逻辑 2010-12-01 v5

作者: Ayhan Gunaydin , Philipp Hieronymi

在 arXiv 上查看 ↗ PDF ↗

摘要

我们考虑用有理数上椭圆曲线的有理点群来扩张实数域。我们证明了一个完备性结果，随后是一个量词消去结果。此外，我们证明了在该结构中可定义的开集是半代数的。

关键词

实数域椭圆曲线有理点完备性量词消去半代数集

引用

@article{arxiv.0906.0528,
  title  = {The real field with the rational points of an elliptic curve},
  author = {Ayhan Gunaydin and Philipp Hieronymi},
  journal= {arXiv preprint arXiv:0906.0528},
  year   = {2010}
}