Model Theory seminar

Pantelis Eleftheriou, Department of Pure Mathematics, University of Waterloo

“NIP Theories VIII”

We will finish the proof of Theorem 2.33 and discuss some of its consequences and examples. Time permitting, we will introduce measures (from Chapter 7), which are generalizations of types, and discuss how the existent notions and theorems we saw for types can be generalized to measures.