Applications of topology in model theory
Speaker:
Christopher Eagle, University of Victoria
Date and Time:
Friday, May 17, 2019 - 10:00am to 10:45am
Location:
Fields Institute, Room 230
Abstract:
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.