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.

Prinzip

Verallgemeinere und kontrolliere Unabhängigkeit durch Verbot spezifischer kombinatorischer Baum-Muster, die wildes Forking verursachen; dies liefert eine Unabhängigkeitsrelation mit Symmetrie, Transitivit�t (in geeigneter Form), Extension und lokalem Charakter in vielen Kontexten.

Demonstration

Anschauliches Beispiel: Bestimmte homogene relationale Strukturen und viele natürliche instabile, aber gutartige Theorien sind einfach; in diesen Kontexten verhält sich Forking ähnlich wie im stabilen Fall, wodurch Unabhängigkeitssätze und Analysen kanonischer Basen im einfachen Rahmen möglich werden.

Fehlanwendung

Die Einfachheit so zu behandeln, als impliziere sie Stabilität, oder zu erwarten, dass alle Werkzeuge und Klassifikationsergebnisse der stabilen Theorie unverändert übergehen; anzunehmen, Einfachheit löse jede Unabhängigkeitsfrage ohne Prüfung lokaler Voraussetzungen, kann zu falschen strukturellen Schlüssen führen.

Konsequenz

Einfachheit liefert einen robusten Unabhängigkeitskalkül: Sie ermöglicht verallgemeinerten Forking-/Dividing-Kalkül, Unabhängigkeitssätze für Typen und strukturelle Analysen definierbarer Gruppen und Körper in einer kontrollierten nicht-stabilen Umgebung.

Umkehrung

Die Negation (nicht-einfache Theorien) besitzt die Baum-Eigenschaft und weist daher chaotisches Forking-Verhalten mit vielen pathologischen kombinatorischen Mustern auf, was Versuche unterminiert, einen kohärenten Unabhängigkeitskalkül zu entwickeln.

Abgrenzung

Eine Eigenschaft vollständiger first-order-Theorien in Bezug auf das Fehlen der Baum-Eigenschaft TP1; sie gilt für die ganze Theorie (nicht nur für einzelne Formeln) und impliziert nicht automatisch andere Tameness-Begriffe wie NIP oder NTP2, obwohl es Überschneidungen in Beispielen gibt.

Semantische Spannung

Es besteht Spannung zwischen Einfachheit und sowohl Stabilität als auch NIP: Einfachheit verallgemeinert Stabilität in einer anderen Richtung als NIP, sodass einige Konsequenzen der Stabilität in einfachen Theorien ausfallen können, während andere Unabhängigkeitsresultate erhalten bleiben; diese Unterscheidungen sind wichtig.

Synthese

Einfachheit kennzeichnet Theorien, in denen Forking eine kontrollierte, symmetrieerhaltende Unabhängigkeitsnotion zulässt, indem Baum-Muster verboten werden, die pathologische Division verursachen; sie ist eine vereinheitlichende Trennlinie, die viele Argumente des stabilen Falls bewahrt und zugleich eine breitere Klasse instabiler Theorien umfasst.