10 citations · 41 across the 29 of their papers we have counts for
1 paper · 1 filter
Artem Chernikov, Itay Kaplan
We prove that in theories without the tree property of the second kind (which include dependent and simple theories) forking and dividing over models are the same, and in fact over…