References & Citations
Mathematics > Logic
Title: Counting algebraic points in expansions of o-minimal structures by a dense set
(Submitted on 13 Aug 2017 (v1), last revised 29 Apr 2018 (this version, v3))
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.
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.