Abstract: | We prove a theorem which provides a method for constructingpoints on varieties defined by certain smooth functions. Werequire that the functions be definable in a definably completeexpansion of a real closed field and be locally definable ina fixed o-minimal and polynomially bounded reduct. As an applicationwe show that in certain o-minimal structures, definable functionsare piecewise implicitly defined over the basic functions inthe language. |