Applications of topology in model theory
Since very early in its development, model theory has made use of topological techniques, but in many expositions of first-order model theory the topology is downplayed in favour of combinatorial arguments. In recent years there has been considerable interest in model-theoretic logics beyond first-order, including real-valued logics, infinitary logics, and others. In these non-first-order contexts, topological arguments have seen a renewed prominence. This talk will be a survey of uses of topology in model theory, with a focus on recent uses of set-theoretic topology in non-first-order logic.