Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1250

Preprint Number 1250

Previous Next Preprint server

1250. Itay Kaplan, Nicholas Ramsey, Saharon Shelah
Local character of Kim-independence

Submission date: 10 July 2017


We show that NSOP_{1} theories are exactly the theories in which Kim-independence satisfies a form of local character. In particular, we show that if T is NSOP_{1}, M \models T, and p is a type over M, then the collection of elementary submodels of size |T| over which p does not Kim-fork is a club of [M]^{|T|} and that this characterizes NSOP_{1}.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1707.02902: pdf, ps.

Last updated: July 29 2017 05:04 Please send your corrections to: