The rational points of a definable set

Abstract

Let $X\subset {\mathbb{R}}^n$ be a set that is definable in an o-minimal structure over $\mathbb{R}$. This article shows that in a suitable sense, there are very few rational points of $X$ which do not lie on some connected semialgebraic subset of $X$ of positive dimension