Locally Polynomially Bounded Structures

G. O. Jones, A. J. Wilkie

We prove a theorem which provides a method for constructing points on varieties defined by certain smooth functions. We require that the functions are definable in a definably comp…