Thu, 12 Mar 2015
17:30 -
18:30
L6
Rosenthal compacta and NIP formulas
Pierre Simon
(Université Lyon I)
Abstract
A compact space is a Rosenthal compactum if it can be embedded into the space of Baire class 1 functions on a Polish space. Those objects have been well studied in functional analysis and set theory. In this talk, I will explain the link between them and the model-theoretic notion of NIP and how they can be used to prove new results in model theory on the topology of the space of types.