On NSOP${}_2$ Theories

Abstract

Answering a question of Džamonja and Shelah, we show that every NSOP${}_2$ theory is NSOP${}_1$.

arXiv comment20 pages. The proof from the cited source of Fact 2.4 of the previous versions is incorrect; this claim has been replaced by Lemma 2.8 in the new version