卢·范登·德里斯 可定义集的维数、代数有界性和Henselian域。 （英语） Zbl 0704.03017号 Ann.纯粹应用。逻辑 第2期第45页，189-209页（1989年）。 对于整型域（D），任意子集（Ssubsteq D^m）的代数维数（operatorname{algdim}（S））定义为（S）上代数独立于（D）的多项式函数的最大数目。作者证明，如果（D）的展开式满足一个简单的代数条件（称为代数有界性），则代数维在其可定义集的Tarski系上定义了一个维数函数。本文的主要结果如下：特征为0的每个Henselian域都是代数有界的，代数维数是其可定义集的Tarski系统上的唯一维数函数。（对残留场的特性没有限制。）审核人：迪米特鲁·布什内格（克雷奥瓦） 引用于三评论引用于53文件 MSC公司： 03C60型 模型理论代数 12升12 场的模型理论 关键词：积分域;代数维数;代数有界性;维数函数;可定义集的Tarski系统;亨塞利油田 PDF格式BibTeX公司 XML格式引用 \textit{L.van den Dries}，Ann.《纯粹的应用》。逻辑45，编号2189-209（1989；Zbl 0704.03017） 全文： 内政部