Eine Prädikatenlogik-Theorie, die stabile Theorien verallgemeinert, indem sie eine wohlverhaltende Unabhängigkeitsrelation (Forking) zulässt, ohne vollständige Stabilität zu verlangen; Simplizität isoliert Kontexte, in denen Forking-Kalkül anwendbar bleibt.

Prinzip

Ersetze den vollständigen Stabilitätsrahmen durch eine schwächere kombinatorische Bedingung, die dennoch eine symmetrische, transitive Unabhängigkeitsbegrifflichkeit für Typen liefert und ein Analogon des Unabhängigkeitskalküls der Stabilitätstheorie ermöglicht.

Demonstration

Viele Theorien generischer Strukturen, die durch kontrollierte Amalgamierung entstehen (z. B. bestimmte homogene relationale Strukturen), sind simpel: Sie besitzen eine Forking-Relation mit den wesentlichen Eigenschaften, sind aber nicht stabil, da sie größere kombinatorische Vielfalt zulassen.

Fehlanwendung

Zu glauben, Simplizität impliziere alle Folgerungen der Stabilitätstheorie wie strikte Rangaxiome oder vollständige Klassifikation durch Morley-Rang; simple Theorien erlauben Verhaltensweisen, die in stabilen Kontexten ausgeschlossen sind, und benötigen andere Invarianten.

Konsequenz

Simplizität liefert einen robusten Unabhängigkeitskalkül für Dividing und Forking, ermöglicht strukturelle Analysen von Typen und Modellen, überträgt kombinatorische Kontrolle auf Klassifikationsargumente und erweitert geometrische Methoden über stabile Theorien hinaus.

Umkehrung

Das Gegenteil sind Theorien, in denen jede Definition einer symmetrischen, wohlverhaltenden Unabhängigkeitsrelation fehlschlägt (z. B. Theorien mit Baum-Eigenschaft) und die sich daher einer Forking-basierten Klassifikation entziehen.

Abgrenzung

Gilt für vollständige Theorien der ersten Ordnung; Simplizität ist schwächer als Stabilität und unterscheidet sich von NIP oder O-Minimalität. Sie schließt Rahmen aus, in denen Dividing/Forking pathologisch auftreten oder höhere Ordnungseigenschaften die Unabhängigkeitsverhältnisse verändern.

Semantische Spannung

Es besteht Spannung zu Stabilität (stärker) und zu NIP (anderer Achse der Verträglichkeit): simple Theorien erlauben gewisse Instabilität, behalten aber genügend Kontrolle für einen Unabhängigkeitskalkül, anders als vollständige Stabilität oder NIP-Theorien, die andere kombinatorische Phänomene einschränken.

Synthese

Simple Theorien sindjenige Prädikatenlogik-Theorien, die, ohne notwendigerweise stabil zu sein, ein kohärentes Forking/Dividing-Apparat besitzen, das viele strukturelle und geometrische Analysen der Stabilitätstheorie ermöglicht.