A Note on Generically Stable Measures and fsg Groups

Notre Dame Journal of Formal Logic 53 (4):599-605 (2012)
  Copy   BIBTEX

Abstract

We prove (Proposition 2.1) that if $\mu$ is a generically stable measure in an NIP (no independence property) theory, and $\mu(\phi(x,b))=0$ for all $b$ , then for some $n$ , $\mu^{(n)}(\exists y(\phi(x_{1},y)\wedge \cdots \wedge\phi(x_{n},y)))=0$ . As a consequence we show (Proposition 3.2) that if $G$ is a definable group with fsg (finitely satisfiable generics) in an NIP theory, and $X$ is a definable subset of $G$ , then $X$ is generic if and only if every translate of $X$ does not fork over $\emptyset$ , precisely as in stable groups, answering positively an earlier problem posed by the first two authors

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Small stable groups and generics.Frank O. Wagner - 1991 - Journal of Symbolic Logic 56 (3):1026-1037.
Finding generically stable measures.Pierre Simon - 2012 - Journal of Symbolic Logic 77 (1):263-278.
Subgroups of stable groups.Frank Wagner - 1990 - Journal of Symbolic Logic 55 (1):151-156.
A note on defining groups in stable structures.Frank O. Wagner - 1994 - Journal of Symbolic Logic 59 (2):575-578.
On atomic or saturated sets.Ludomir Newelski - 1996 - Journal of Symbolic Logic 61 (1):318-333.
Équations génériques dans un groupe stable nilpotent.Khaled Jaber - 1999 - Journal of Symbolic Logic 64 (2):761-768.
On ω-categorical, generically stable groups.Jan Dobrowolski & Krzysztof Krupiński - 2012 - Journal of Symbolic Logic 77 (3):1047-1056.
On generically stable types in dependent theories.Alexander Usvyatsov - 2009 - Journal of Symbolic Logic 74 (1):216-250.
A note on superstable groups.Jerry Gagelman - 2005 - Journal of Symbolic Logic 70 (2):661-663.
Definability and definable groups in simple theories.Anand Pillay - 1998 - Journal of Symbolic Logic 63 (3):788-796.
CM-Triviality and stable groups.Frank O. Wagner - 1998 - Journal of Symbolic Logic 63 (4):1473-1495.

Analytics

Added to PP
2012-11-09

Downloads
53 (#268,373)

6 months
4 (#319,344)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Topological dynamics and definable groups.Anand Pillay - 2013 - Journal of Symbolic Logic 78 (2):657-666.
Weight and Measure in NIP Theories.Anand Pillay - 2013 - Notre Dame Journal of Formal Logic 54 (3-4):567-578.

Add more citations

References found in this work

No references found.

Add more references