15 citations · 50 across the 19 of their papers we have counts for
Showing 2021 · math.LOShow all
2 papers · 2 filters
math.LO2021
On rank not only in NSOP1 theories
Jan Dobrowolski, Daniel Max Hoffmann
We introduce a family of local ranks DQ depending on a finite set Q of pairs of the form (φ(x,y),q(y)) where φ(x,y) is a formula and q(y) is a global type. We prove that in any NSO…
math.LO2021★ 15 cited
Kim-independence in positive logic
Jan Dobrowolski, Mark Kamsma
An important dividing line in the class of unstable theories is being NSOP, which is more general than being simple. In NSOP theories forking independence may not be as wel…