The rational points of a definable set

Abstract

Let X⊂Rn be a set that is definable in an o-minimal structure over 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