The Model Theory of Algebraically Closed Fields
The Model Theory of Algebraically Closed Fields
复制标题
代数闭域模型论
DOI：
--
复制
发表时间：
2000
期刊：
影响因子：
--
通讯作者：
D. Cook
中科院分区：
文献类型：
--
作者：
D. Cook
模型论可以表示复n-空间的代数子集的性质。可构造的子集正是一阶可定义的子集，而变种对应于最大一致的公式集合，称为类型。此外，可构造集的拓扑维数等于内斯它的公式的莫利秩。
Model theory can express properties of algebraic subsets of complex n-space. The constructible subsets are precisely the rst order de nable subsets, and varieties correspond to maximal consistent collections of formulas, called types. Moreover, the topological dimension of a constructible set is equal to the Morley rank of the formula which de nes it.