Simplicity

A dividing-line property in model theory: a complete first-order theory is simple if it admits a well-behaved notion of independence (forking) that generalizes the stable case. Equivalently, simple theories exclude the tree property (TP) that produces pathological forking patterns.