Local character of Kim-independence
Logic
2018-02-13 v2
Abstract
We show that NSOP theories are exactly the theories in which Kim-independence satisfies a form of local character. In particular, we show that if is NSOP, , and is a type over , then the collection of elementary substructures of size over which does not Kim-fork is a club of and that this characterizes NSOP. We also present a new phenomenon we call dual local-character for Kim-independence in NSOP-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}
}