English

Forking and invariant measures in NIP theories

Logic 2023-07-21 v1

Abstract

We give an example of an NIP theory TT in which there is a formula that does not fork over \varnothing but has measure 00 under any global \varnothing-invariant Keisler measure, and we show that this cannot occur if TT is also first-order amenable.

Keywords

Cite

@article{arxiv.2307.11037,
  title  = {Forking and invariant measures in NIP theories},
  author = {Anand Pillay and Atticus Stonestrom},
  journal= {arXiv preprint arXiv:2307.11037},
  year   = {2023}
}