Forking and invariant measures in NIP theories
Abstract
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.
Fields of Study & Subjects
Advanced Topology and Set Theory
Limits and Structures in Graph Theory
Advanced Operator Algebra Research
Publication details
- Journal / source
- Fundamenta Mathematicae
- Publication date
- 11 February 2026
- Language
- EN