arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv math/0701523math.LO
收藏

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 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分析而来,可能存在错误,请以论文正文为准。

↑