##  [Einfachheit](/de/node/60378) 

 Definition

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

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

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

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

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

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

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

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

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.