Department of

July 2018 August 2018 September 2018 Su Mo Tu We Th Fr Sa Su Mo Tu We Th Fr Sa Su Mo Tu We Th Fr Sa 1 2 3 4 5 6 7 1 2 3 4 1 8 9 10 11 12 13 14 5 6 7 8 9 10 11 2 3 4 5 6 7 8 15 16 17 18 19 20 21 12 13 14 15 16 17 18 9 10 11 12 13 14 15 22 23 24 25 26 27 28 19 20 21 22 23 24 25 16 17 18 19 20 21 22 29 30 31 26 27 28 29 30 31 23 24 25 26 27 28 29 30

Friday, August 10, 2018

**Abstract:** In model theory a topological space can be interpreted naturally as a second order structure, namely a set and the unary relation of subsets that corresponds to the topology. A different approach is that of a first order structure in which there exists a topological space with a basis that is (uniformly) definable. We call this a definable topological space. A natural example corresponds to the order topology on any linearly ordered structure. During this talk I’ll present results on definable topological spaces in an o-minimal structure $\mathcal{R} = (R, ...)$. In particular we will classify Hausdorff definable topological spaces $(X, \tau )$ where $X \subseteq R$. We’ll consider a number of first order properties of these spaces that resemble topological properties and note how, in the o-minimal setting, the induced framework, which we might call “definable topology”, resembles general topology. This is joint work with Margaret Thomas and Erik Walsberg.