Displaying similar documents to “Three constructions of rational points on Y2 = X3 ... NX.”

The real field with the rational points of an elliptic curve

Ayhan Günaydın, Philipp Hieronymi (2011)

Fundamenta Mathematicae

Similarity:

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.