The real field with the rational points of an elliptic curve
classification
🧮 math.LO
keywords
rationalcurveellipticfieldpointsrealresultcompleteness
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.