Submission date: 15 May 2011

Abstract:

We prove that if \mu is a generically stable stable measure in a first order theory with NIP and mu(\phi(x,b)) = 0 for all b, then \mu^{(n)}(\exists y(\phi(x_1,y)\wedge ... \wedge \phi(x_n,y))) = 0. We deduce that if G is an fsg group then a definable subset X of G is generic just if every translate of X does not fork over \emptyset.

Mathematics Subject Classification: 03C45, 28A99

Keywords and phrases:

Full text arXiv 1105.2780: pdf, ps.