Submission date: 9 February 2018

Abstract:

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; y), we prove various aspects of “local fsg” for the right-stratified formula δ^r(x; y,u):=δ(x . u; 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.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1802.03361: pdf, ps.