The real field with the rational points of an elliptic curve

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.

Cited by in corpus (3)

• The real field with an irrational power function and a dense multiplicative subgroup
• Externally definable sets and dependent pairs II
• Defining the set of integers in expansions of the real field by a closed discrete set