Generically stable and smooth measures in NIP theories

摘要

We formulate the measure analogue of generically stable types in first order theories with NIP (without the independence property), giving several characterizations, answering some questions from an earlier paper by Hrushovski and Pillay, and giving another treatment of uniqueness results from the same paper. We introduce a notion of "generic compact domination", relating it to stationarity of the Keisler measures, and also giving definable group versions. We also prove the "approximate definability" of arbitrary Borel probability measures on definable sets in the real and p-adic fields.