Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300908056> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W4300908056 abstract "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." @default.
- W4300908056 created "2022-10-04" @default.
- W4300908056 creator A5057206285 @default.
- W4300908056 creator A5079514011 @default.
- W4300908056 date "2009-06-02" @default.
- W4300908056 modified "2023-09-27" @default.
- W4300908056 title "The real field with the rational points of an elliptic curve" @default.
- W4300908056 doi "https://doi.org/10.48550/arxiv.0906.0528" @default.
- W4300908056 hasPublicationYear "2009" @default.
- W4300908056 type Work @default.
- W4300908056 citedByCount "0" @default.
- W4300908056 crossrefType "posted-content" @default.
- W4300908056 hasAuthorship W4300908056A5057206285 @default.
- W4300908056 hasAuthorship W4300908056A5079514011 @default.
- W4300908056 hasBestOaLocation W43009080561 @default.
- W4300908056 hasConcept C118615104 @default.
- W4300908056 hasConcept C134306372 @default.
- W4300908056 hasConcept C136119220 @default.
- W4300908056 hasConcept C156330621 @default.
- W4300908056 hasConcept C17231256 @default.
- W4300908056 hasConcept C179603306 @default.
- W4300908056 hasConcept C202444582 @default.
- W4300908056 hasConcept C32278780 @default.
- W4300908056 hasConcept C33923547 @default.
- W4300908056 hasConcept C46875033 @default.
- W4300908056 hasConcept C9376300 @default.
- W4300908056 hasConcept C9652623 @default.
- W4300908056 hasConceptScore W4300908056C118615104 @default.
- W4300908056 hasConceptScore W4300908056C134306372 @default.
- W4300908056 hasConceptScore W4300908056C136119220 @default.
- W4300908056 hasConceptScore W4300908056C156330621 @default.
- W4300908056 hasConceptScore W4300908056C17231256 @default.
- W4300908056 hasConceptScore W4300908056C179603306 @default.
- W4300908056 hasConceptScore W4300908056C202444582 @default.
- W4300908056 hasConceptScore W4300908056C32278780 @default.
- W4300908056 hasConceptScore W4300908056C33923547 @default.
- W4300908056 hasConceptScore W4300908056C46875033 @default.
- W4300908056 hasConceptScore W4300908056C9376300 @default.
- W4300908056 hasConceptScore W4300908056C9652623 @default.
- W4300908056 hasLocation W43009080561 @default.
- W4300908056 hasLocation W43009080562 @default.
- W4300908056 hasOpenAccess W4300908056 @default.
- W4300908056 hasPrimaryLocation W43009080561 @default.
- W4300908056 hasRelatedWork W1547581392 @default.
- W4300908056 hasRelatedWork W1976100776 @default.
- W4300908056 hasRelatedWork W2075819216 @default.
- W4300908056 hasRelatedWork W2770161698 @default.
- W4300908056 hasRelatedWork W2962867532 @default.
- W4300908056 hasRelatedWork W2963632765 @default.
- W4300908056 hasRelatedWork W3122615737 @default.
- W4300908056 hasRelatedWork W4300908056 @default.
- W4300908056 hasRelatedWork W51544394 @default.
- W4300908056 hasRelatedWork W2184351504 @default.
- W4300908056 isParatext "false" @default.
- W4300908056 isRetracted "false" @default.
- W4300908056 workType "article" @default.