2 papers
math.LO2025
Existence in NSOP theories
Byunghan Kim, Joonhee Kim, Hyoyoon Lee
We show that Kim-forking satisfies existence in all NSOP theories.
math.LO2025
Some Remarks on Kim-dividing in NATP Theories
Joonhee Kim, Hyoyoon Lee
In this note, we prove that Kim-dividing over models is always witnessed by a coheir Morley sequence in NATP theories. Following the strategy of Chernikov and Kaplan [8], we obtain…