We give an example of an NIP theory T in which there is a formula that does not fork over ∅ but has measure 0 under any global ∅-invariant Keisler measure, and we show that this cannot occur if T is also first-order amenable. We also comment on some connections with topological dynamics.
No takes yet. Share an insight, caveat, or question.
Pillay et al. (2026) studied this question.
Synapse has enriched 5 related papers. Consider them for comparative context: