2 citations · 3 across the 6 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
math.LO2019
Non-forking and preservation of NIP and dp-rank
Pedro Andrés Estevan, Itay Kaplan
We investigate the question of whether the restriction of a NIP type which does not fork over to is also NIP, and the analogous question for dp-rank.…
math.LO2019
On uniform definability of types over finite sets for NIP formulas
Shlomo Eshel, Itay Kaplan
Combining two results from machine learning theory we prove that a formula is NIP if and only if it satisfies uniform definability of types over finite sets (UDTFS). This settles a…
math.LO2019
Transitivity of Kim-independence
Itay Kaplan, Nicholas Ramsey
We prove several results on the behavior of Kim-independence upon changing the base in NSOP theories. As a consequence, we prove that Kim-independence satisfies transitivity…