Czasopismo
Tytuł artykułu
Autorzy
Warianty tytułu
Języki publikacji
Abstrakty
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.
Słowa kluczowe
Kategorie tematyczne
Czasopismo
Rocznik
Tom
Numer
Strony
15-40
Opis fizyczny
Daty
wydano
2011
Twórcy
autor
- Centro de Matemática, e Aplicações Fundamentais, Av. Prof. Gama Pinto, 2, 1649-003 Lisboa, Portugal
autor
- Department of Mathematics & Statistics, McMaster University, 1280 Main Street West, Hamilton, ON, L8S 4K1, Canada
- Department of Mathematics, University of Illinois, 1409 W. Green Street, Urbana, IL 61801, U.S.A.
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.bwnjournal-article-doi-10_4064-fm211-1-2