Page 1

Displaying 1 – 7 of 7

Showing per page

The real field with the rational points of an elliptic curve

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

Fundamenta Mathematicae

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.

Currently displaying 1 – 7 of 7

Page 1