The Model Theory of Algebraically Closed Fields
Loading...
Date
2000
Authors
Cook, Daniel
Journal Title
Journal ISSN
Volume Title
Publisher
University of Waterloo
Abstract
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.
Description
Keywords
Mathematics, model theory, fields, algebraically closed, dimension, Morley rank