Concerning Keisler Measures over ultraproducts

Abstract

As consequence of the VC theorem, any pseudo-finite measure over an NIP ultraproduct is generically stable. We demonstrate a converse of this theorem and prove that any finitely approximable measure over an ultraproduct is itself pseudo-finite (even without the NIP assumption). We also analyze the connection between the Morley product and the pseudo-finite product. In particular, we show that if $\hat{I}¼$ is definable and both $\hat{I}¼$ and $\hat{I}½$ are pseudo-finite, then the Morley product of $\hat{I}¼$ and $\hat{I}½$ agrees with the pseudo-finite product of $\hat{I}¼$ and $\hat{I}½$. Using this observation, we construct generically stable idempotent measures on pseudo-finite NIP groups.

16 pages