We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.LO

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Mathematics > Logic

Title: Counting algebraic points in expansions of o-minimal structures by a dense set

Abstract: The Pila-Wilkie theorem states that if a set $X\subseteq \mathbb R^n$ is definable in an o-minimal structure $\mathcal R$ and contains `many' rational points, then it contains an infinite semialgebraic set. In this paper, we extend this theorem to an expansion $\widetilde{\mathcal R}=\langle \mathcal R, P\rangle$ of $\mathcal R$ by a dense set $P$, which is either an elementary substructure of $\mathcal R$, or it is independent, as follows. If $X$ is definable in $\widetilde{\mathcal R}$ and contains many rational points, then it is dense in an infinite semialgebraic set. Moreover, it contains an infinite set which is $\emptyset$-definable in $\langle \overline{\mathbb R}, P\rangle$, where $\overline {\mathbb R}$ is the real field.
Subjects: Logic (math.LO)
MSC classes: 03C64, 11G99
Cite as: arXiv:1708.03936 [math.LO]
  (or arXiv:1708.03936v3 [math.LO] for this version)

Submission history

From: Pantelis Eleftheriou [view email]
[v1] Sun, 13 Aug 2017 17:17:03 GMT (17kb)
[v2] Tue, 15 Aug 2017 13:48:21 GMT (17kb)
[v3] Sun, 29 Apr 2018 11:25:14 GMT (21kb)

Link back to: arXiv, form interface, contact.