A note on generically stable measures and fsg groups

Abstract

We prove that if μ is a generically stable stable measure in a first order theory with NIP and mu(φ(x,b)) = 0 for all b, then μ(n)(∃ y(φ(x1,y) ... φ(xn,y))) = 0. We deduce that if G is an fsg grooup then a definable subset X of G is generic just if every translate of X does not fork over .

0

Turn this paper into a lesson

ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.

Discussion (0)

Sign in to join the discussion.

Loading comments…