Concerning Keisler measures over ultraproducts

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 μ is definable and both μ and ν are pseudo-finite, then the Morley product of μ and ν agrees with the pseudo-finite product of μ and ν. Using this observation, we construct generically stable idempotent measures on pseudo-finite NIP groups.