The Model Theory of Algebraically Closed Fields

[摘要] Model theory can express properties of algebraic subsets of complex n-space.The constructible subsets are precisely the first order definable 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 defines it.

[发布机构] University of Waterloo

[效力级别] model theory

[关键词] Mathematics;model theory;fields;algebraically closed;dimension;Morley rank