Einfachheit

Eine Trennlinieigenschaft in der Modelltheorie: Eine vollständige erste-Ordnung-Theorie ist einfach, wenn sie eine wohlverhaltene Unabhängigkeitsnotion (Forking) zulässt, die den stabilen Fall verallgemeinert. Äquivalent schließen einfache Theorien die Baum-Eigenschaft (TP) aus, die pathologische Forking-Muster erzeugt.