pith. sign in

arxiv: 1707.02902 · v2 · pith:2CWM6MOHnew · submitted 2017-07-10 · 🧮 math.LO

Local character of Kim-independence

classification 🧮 math.LO
keywords nsopkim-independenceleftrighttheoriescharacterlocalcall
0
0 comments X
read the original 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 substructures of size $\left|T\right|$ over which $p$ does not Kim-fork is a club of $\left[M\right]^{\left|T\right|}$ and that this characterizes NSOP$_{1}$. We also present a new phenomenon we call dual local-character for Kim-independence in NSOP$_{1}$-theories.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.