A note on NSOP${}_1$ in one variable

Nicholas Ramsey

We prove that, in order to establish that a theory is NSOP${}_1$, it suffices to show that no formula in a single free variable has SOP${}_1$.