Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 187

Preprint Number 187

Previous Next Preprint server

187. Ayhan Günaydin, Philipp Hieronymi
The real field with the rational points of an elliptic curve

Submission date: 2 June 2009.


We consider the expansion of the real field by a subgroup of a one-dimensional definable group satisfying a certain diophantine condition. The main example is the group of rational points of an elliptic curve over a number field. We prove a completeness result, followed by a quantifier elimination result. Moreover we show that open sets definable in that structure are semialgebraic.

Mathematics Subject Classification: 03C10, 03C64, 14H52, 11U09

Keywords and phrases:

Full text arXiv: pdf, ps.

Last updated: June 6 2009 09:01 Please send your corrections to: