The real field with the rational points of an elliptic curve

Autor:	Philipp Hieronymi, Ayhan Günaydin
Rok vydání:	2009
Předmět:	Discrete mathematics Rational number Algebra and Number Theory Group (mathematics) Open set Structure (category theory) Mathematics - Logic Elliptic curve Definable set Completeness (order theory) Quantifier elimination FOS: Mathematics 03C10 03C64 14H52 11U09 Logic (math.LO) Mathematics
DOI:	10.48550/arxiv.0906.0528
Popis:	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.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9382b2f61f6118c2b72f72af390605c9 Zobrazit plný text záznamu