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.
School:University of Waterloo
School Location:Canada - Ontario
Source Type:Master's Thesis
Keywords:mathematics model theory fields algebraically closed dimension morley rank
Date of Publication:01/01/2000