摘要：在扩展后的M结构中，确定结构的一阶理论，其中M是一个多项式有界、o-极小结构，并且具有无界的凸集C。在M的任意给定参数集上进行，这可以得出M^n中的所有可定义子集的描述。
作者：Marcus Tressl (University of Regensburg, Germany)
论文ID：math/0305122
分类：Logic
分类简称：math.LO
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中