The real field with the rational points of an elliptic curve (joint work with P. Hieronymi)
Speaker:
Ayhan Günaydın, Mimar Sinan Güzel Sanatlar Üniversitesi
Date and Time:
Thursday, May 28, 2009 - 2:00pm to 3:00pm
Location:
Fields Institute, Room 230
Abstract:
We consider the model theoretic structure (R,E), where R is the real field and E is the group of rational points of an ellitic curve. We axiomatize this structure and show that it eliminates quantifiers up to existential formulas. As a by-product, we also prove that it has o-minimal open core, which is to say that all the open sets definable in (R,E) are already definable in the real field.