The density of algebraic points on certain Pfaffian surfaces (Q2907039)

Wilkie has conjectured a very strong upper bound for the number of rational points up to a given height on a set definable in the o-minimal structure \({\mathbb R}_{\text{exp}}\) that do not lie on some positive-dimensional semialgebraic subset. Specifically, a bound polynomial in the logarithm of the height. The present paper gives partial results towards this conjecture. They affirm it for curves (i.e., one-dimensional definable sets), deducing the result from a more general one concerning existentially definable curves in \({\mathbb R}_{\text{pfaff}}\). They also affirm the conjecture for surfaces definable in the structure of restricted Pfaffian functions. The result for curves was obtained independently by \textit{L. A. Butler} [Bull. Lond. Math. Soc. 44, No. 4, 642--660 (2012; Zbl 1253.03063)], who also affirms it for certain (different) surfaces.