We give an example of an NIP theory TT in which there is a formula that does not fork over ∅∅ but has measure 00 under any global ∅∅-invariant Keisler measure, and we show that this cannot occur if TT is also first-order amenable.
生成讲解博客的中文版本
生成AI智能校验的中文版本