Extending Tamm's theorem
Lou van den Dries, Chris Miller (1994)
Annales de l'institut Fourier
Similarity:
We extend a result of M. Tamm as follows: Let , be definable in the ordered field of real numbers augmented by all real analytic functions on compact boxes and all power functions . Then there exists such that for all , if is in a neighborhood of , then is real analytic in a neighborhood of .