Pablo Andujar Guerrero (University of Leeds)

Defining definable compactness

Can topological compactness be expressed as a first-order property within tame topology? Let's find out. In this talk I will present various attempts in the literature to capture this notion. We will go over the model theory behind them and present open questions.