The real field with the rational points of an elliptic curve

Ayhan Günaydın, and Philipp Hieronymi. "The real field with the rational points of an elliptic curve." Fundamenta Mathematicae 211.1 (2011): 15-40. <http://eudml.org/doc/283273>.

@article{AyhanGünaydın2011,
abstract = {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.},
author = {Ayhan Günaydın, Philipp Hieronymi},
journal = {Fundamenta Mathematicae},
keywords = {real field; rational points; elliptic curve; definable set; open core},
language = {eng},
number = {1},
pages = {15-40},
title = {The real field with the rational points of an elliptic curve},
url = {http://eudml.org/doc/283273},
volume = {211},
year = {2011},
}

TY - JOUR
AU - Ayhan Günaydın
AU - Philipp Hieronymi
TI - The real field with the rational points of an elliptic curve
JO - Fundamenta Mathematicae
PY - 2011
VL - 211
IS - 1
SP - 15
EP - 40
AB - 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.
LA - eng
KW - real field; rational points; elliptic curve; definable set; open core
UR - http://eudml.org/doc/283273
ER -