局部多项式有界结构
逻辑
2014-02-26 v2
摘要
我们证明了一个定理，它提供了在由某些光滑函数定义的簇上构造点的方法。我们要求这些函数在实闭域的可定义完备膨胀中可定义，并且在某个固定的 o-极小且多项式有界的 reduct 中局部可定义。作为一个应用，我们证明了在某些 o-极小结构中，可定义函数是关于语言中基本函数的分段隐式定义的。
引用
@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