Shelah-style combinatorial properties[]

Properties involving only a single formula[]

stable ::: ::: ::: ::: ::: ::: :::

dependent, not the independence property, NIP

simple

not the tree property of the second kind

NSOP1

NSOP2, not the tree property of the first kind

…

NSOPn for a natural number n ≥ 3

…

not the strong order property

not the finitary strong order property

not the strict order property

Properties involving countably many formulas[]

superstable stable finite rank strongly dependent, strongly1 dependent
supersimple simple finite rank strong
not the multi-order property