Logic Seminar: Sergei Starchenko - University of Notre Dame

Title: Definable Compactness in NIP theories

Abstract: In this talk we will discuss a notion of definable compactness for NIP theories.  We will also relate it to some combinatorial properties such as (p,q)-theorem.