Existence in NSOP${}_1$ theories

Abstract

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