28 citations · 31 across the 9 of their papers we have counts for
Showing 2017 · math.LOShow all
3 papers · 2 filters
math.LO2017
Local character of Kim-independence
Itay Kaplan, Nicholas Ramsey, Saharon Shelah
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, $M\models…
math.LO2017★ 28 cited
Generic expansion and Skolemization in NSOP theories
Alex Kruckman, Nicholas Ramsey
We study expansions of NSOP theories that preserve NSOP. We prove that if is a model complete NSOP theory eliminating the quantifier , then the ge…
math.LO2017
On Kim-Independence
Itay Kaplan, Nicholas Ramsey
We study NSOP theories. We define Kim-independence, which generalizes non-forking independence in simple theories and corresponds to non-forking at a generic scale. We show t…