Seminar series
Date
Thu, 02 Feb 2017
11:00
11:00
Location
C4
Speaker
Nicholas Wentzlaff-Eggebert
Organisation
Oxford
Abstract: We will consider a model theoretic approach to Gelfand-Naimark duality, from the point of view of (generalized) Zariski structures. In particular we will show quantifier elimination for compact Hausdorff spaces in the natural Zariski language. Moreover we may see a slightly unusual construction and tweak to the language, which improves stability properties of the structures.