Speaker
Adam Gutter, Department of Pure Mathematics, University of Waterloo
Abstract
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.