Kurt Gödel Research Center

2010 seminar talk: Measures in first order theories

Talk held by Anand Pillay (University of Leeds) at the KGRC seminar on 2010-06-17.

Abstract

In the first part of the talk I will discuss (for a general audience) issues around the classification of first order theories, and reasons that studying measures in place of types have become popular, especially for theories without the independence property.

In the second part which will be a bit more technical I will discuss how Shelah's notion of "strongly dependent" (or "strong NIP") can be characterized in terms of weight with respect to average measures.