We use a result due to Rolin, Speissegger, and Wilkie to show that definable sets
in certain o-minimal structures admit definable parameterizations by mild maps.
We then use this parameterization to prove a result on the density of rational
points on curves defined by restricted Pfaffian functions.
@article{1292249611,
author = {Jones, G. O. and Miller, D. J. and Thomas, M. E. M.},
title = {Mildness and the Density of Rational Points on Certain Transcendental Curves},
journal = {Notre Dame J. Formal Logic},
volume = {52},
number = {1},
year = {2011},
pages = { 67-74},
language = {en},
url = {http://dml.mathdoc.fr/item/1292249611}
}
Jones, G. O.; Miller, D. J.; Thomas, M. E. M. Mildness and the Density of Rational Points on Certain Transcendental Curves. Notre Dame J. Formal Logic, Tome 52 (2011) no. 1, pp. 67-74. http://gdmltest.u-ga.fr/item/1292249611/