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.

Principle

Generalize and control independence by banning the specific combinatorial tree patterns that cause wild forking; this yields an independence relation satisfying symmetry, transitivity (in appropriate forms), extension, and local character in many settings.

Demonstration

Illustrative example: certain homogeneous relational structures and many natural unstable but well-behaved theories are simple; in these contexts forking behaves analogously to the stable case, enabling independence theorems and canonical base analyses adapted to the simple setting.

Misapplication

Treating simplicity as implying stability, or expecting all stable-theory tools and classification results to transfer verbatim; assuming simplicity resolves every independence question without checking local hypotheses can lead to incorrect structural claims.

Consequence

Simplicity supplies a robust independence calculus: it permits generalized forking/dividing calculus, independence theorems for types, and structural analysis of definable groups and fields within a controlled nonstable environment.

Reversal

The negation (non-simple theories) admit the tree property and thus exhibit chaotic forking behavior with many pathological combinatorial patterns, undermining attempts to develop a coherent independence calculus.

Boundary

A property of complete first-order theories concerning the absence of tree property TP1; it applies to the whole theory (not merely single formulas) and does not automatically imply other tameness notions like NIP or NTP2, though there is overlap in examples.

Semantic Tension

There is tension between simplicity and both stability and NIP: simplicity generalizes stability in a different direction than NIP does, so some consequences of stability may fail in simple theories while other independence results survive; distinguishing these is essential for correct application.

Synthesis

Simplicity isolates theories where forking admits a controlled, symmetry-respecting independence notion by forbidding the tree patterns that produce pathological dividing; it is a unifying dividing line that preserves many stable-style arguments while accommodating a wider class of unstable theories.