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.
| Identifer | oai:union.ndltd.org:WATERLOO/oai:uwspace.uwaterloo.ca:10012/1066 |
| Date | January 2000 |
| Creators | Cook, Daniel |
| Publisher | University of Waterloo |
| Source Sets | University of Waterloo Electronic Theses Repository |
| Language | English |
| Detected Language | English |
| Type | Thesis or Dissertation |
| Format | application/pdf, 490200 bytes, application/pdf |
| Rights | Copyright: 2000, Cook, Daniel. All rights reserved. |
Page generated in 0.0013 seconds