We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
We initiate a systematic study of generic stability independence and introduce the class of treeless theories in which this notion of independence is particularly well behaved. We show that the class of treeless theories contains both binary theories and stable theories and give several applications of the theory of independence for treeless theories. As a corollary, we show that every binary NSOP
$_{3}$ theory is simple.
$_{1}$ THEORIES
We develop the theory of Kim-independence in the context of NSOP
$_{1}$ theories satisfying the existence axiom. We show that, in such theories, Kim-independence is transitive and that 
-Morley sequences witness Kim-dividing. As applications, we show that, under the assumption of existence, in a low NSOP
$_{1}$ theory, Shelah strong types and Lascar strong types coincide and, additionally, we introduce a notion of rank for NSOP
$_{1}$ theories.
