English

Local character of Kim-independence

Logic 2018-02-13 v2

Abstract

We show that NSOP1_{1} theories are exactly the theories in which Kim-independence satisfies a form of local character. In particular, we show that if TT is NSOP1_{1}, MTM\models T, and pp is a type over MM, then the collection of elementary substructures of size T\left|T\right| over which pp does not Kim-fork is a club of [M]T\left[M\right]^{\left|T\right|} and that this characterizes NSOP1_{1}. We also present a new phenomenon we call dual local-character for Kim-independence in NSOP1_{1}-theories.

Cite

@article{arxiv.1707.02902,
  title  = {Local character of Kim-independence},
  author = {Itay Kaplan and Nicholas Ramsey and Saharon Shelah},
  journal= {arXiv preprint arXiv:1707.02902},
  year   = {2018}
}