Eine Theorie der ersten Ordnung ohne die Unabhängigkeitseigenschaft (NIP), das heißt, keine Formel der Sprache kann beliebig große bipartite Graphen kodieren; NIP erzwingt kombinatorische Zähmung von definierbaren Familien.

Prinzip

Verbiete die Unabhängigkeitseigenschaft, sodass definierbare Familien eine beschränkte VC-ähnliche kombinatorische Komplexität haben, was Wechselmuster einschränkt und Einheitlichkeit im Verhalten definierbarer Mengen sicherstellt.

Demonstration

Reell abgeschlossene Körper und ihre Erweiterungen (etwa das geordnete Zahlensystem der reellen Zahlen) sind NIP: definierbare Familien in einer Variablen sind zahm (im geordneten Fall o-minimal) und Formeln können keine beliebigen Shattermuster über Parametersätzen definieren.

Fehlanwendung

NIP mit Stabilität oder mit O-Minimalität gleichzusetzen; NIP schließt die Unabhängigkeitseigenschaft aus, erlaubt aber dennoch gewisse Instabilitäten und impliziert nicht die starke Ordnungs- oder Intervallstruktur, die O-Minimalität garantiert.

Konsequenz

NIP liefert uniforme Schranken zur kombinatorischen Komplexität (ähnlich der VC-Dimension), stabile Maße für definierbare Familien, wohlverhaltende Begriffe generisch stabiler Typen und Maße sowie Werkzeuge zur Übertragung statistischer und geometrischer Ideen in die Modelltheorie.

Umkehrung

Das Gegenteil sind Theorien mit der Unabhängigkeitseigenschaft (IP), in denen Formeln beliebige bipartite Graphen kodieren können, was zu beliebiger kombinatorischer Komplexität führt und zähmungsbasierte Argumente verhindert.

Abgrenzung

Gilt für Theorien der ersten Ordnung und ist eine von Stabilität, Simplizität und O-Minimalität verschiedene Achse der Zähmung. NIP regelt das kombinatorische Verhalten definierbarer Familien, kontrolliert jedoch nicht notwendigerweise ordnungstheoretische oder geometrische Struktur.

Semantische Spannung

Spannung besteht zu Stabilität (stärkere Einschränkung) und O-Minimalität (stärkere geometrische Einschränkung): NIP erlaubt mehr Instabilität als Stabilität, aber weniger kombinatorisches Chaos als IP; es überschneidet sich mit, impliziert aber nicht die benachbarten Begriffe.

Synthese

NIP ist das Fehlen der Unabhängigkeitseigenschaft: eine kombinatorische Zähmungsbedingung, die die Shatter-Komplexität definierbarer Familien begrenzt und die Übertragung von VC-theoretischen und maßtheoretischen Techniken in die Modelltheorie ermöglicht.