Mathematics – Logic
Scientific paper
2009-06-02
Fundamenta Mathematicae 211 (2011) 15-40
Mathematics
Logic
Scientific paper
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.
Günaydin Ayhan
Hieronymi Philipp
No associations
LandOfFree
The real field with the rational points of an elliptic curve does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with The real field with the rational points of an elliptic curve, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The real field with the rational points of an elliptic curve will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-235623