Pseudofinite groups and VC-dimension

We develop local NIP group theory in the context of pseudofinite groups. In particular, given a sufficiently saturated pseudofinite structure $G$ expanding a group, and left invariant NIP formula $δ(x;\bar{y})$, we prove various aspects of "local fsg" for the right-stratified formula $δ^r(x;\bar{y},u):=δ(x\cdot u;\bar{y})$. This includes a $δ^r$-type-definable connected component, uniqueness of the pseudofinite counting measure as a left-invariant measure on $δ^r$-formulas, and generic compact domination for $δ^r$-definable sets.

No reviews yet.

No comments yet.