Existence in NSOP${}_1$ theories

Byunghan Kim, Joonhee Kim, Hyoyoon Lee

We show that Kim-forking satisfies existence in all NSOP${}_1$ theories.