Zariski Geometries Working seminar

Tuesday, May 15, 2012 2:30 pm - 2:30 pm EDT (GMT -04:00)


Adam Gutter, Department of Pure Mathematics, University of Waterloo


Having used geometrically motivated conditions to define a Zariski structure, we examine several consequences and model-theoretic interpretations of Zariski structures satisfying these conditions. In particular, we see that a Zariski structure admits elimination of quantifiers and that a Zariski structure satisfies the Essential Uncountability (EU) condition if and only if it is ?1-compact.