Locally Polynomially Bounded Structures
逻辑
2014-02-26 v2
摘要
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 complete expansion of a real closed field and are locally definable in a fixed o-minimal and polynomially bounded reduct. As an application we show that in certain o-minimal structures definable functions are piecewise implicitly defined over the basic functions in the language.
引用
@article{arxiv.math/0701523,
title = {Locally Polynomially Bounded Structures},
author = {G. O. Jones and A. J. Wilkie},
journal= {arXiv preprint arXiv:math/0701523},
year = {2014}
}
备注
Change of title