MODNET
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
E-mail:

Submission date: 10 July 2017

Abstract:

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: