Locally Polynomially Bounded Structures
英文摘要:
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.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。