Eine Teilmenge oder Folge einer Struktur, deren endliche Tupel über einer festen Parameterbasis denselben Typ haben, sofern die Tupel denselben Ordnungs‑Typ innerhalb der Menge besitzen; äquivalent: keine Formel mit Parametern aus der Basis unterscheidet Tupel, die ordrequivalent sind. Indiskernibilien sind hochsymmetrische Konfigurationen, die in kombinatorischen und Klassifikationargumenten verwendet werden.

Prinzip

Indiskernibilität bedeutet Invarianz der Typen unter Permutationen, die den Ordnungs‑Typ (oder das Indexmuster) der Tupel erhalten: für jedes endliche n und für je zwei steigende n‑Tupel aus der Menge stimmen ihre Typen über der gewählten Parameterbasis überein. Die Parameterbasis ist anzugeben, denn Indiskernibilität ist relativ zu ihr.

Demonstration

In einem saturierten Modell einer stabilen Theorie findet man häufig eine unendliche Folge (a_i)_{i∈ℤ}, sodass für beliebige endliche streng wachsende Indizes i_1<...

Fehlanwendung

Indiskernibilität mit bloßer Invarianz unter Automorphismen des Gesamtmodells verwechseln oder annehmen, jede symmetrisch erscheinende Folge sei indiskernibel ohne Prüfung der Parameterbasis. Ein weiterer Fehler ist, Ordnungs‑Indiskernibilität als Ununterscheidbarkeit durch alle Formeln ohne Angabe der Basis zu interpretieren.

Konsequenz

Indiskernible Mengen liefern kanonische Zeugen kombinatorischer Regularität, sind zentral in Stabilitäts- und Simplizitätstheorie und können verwendet werden, um Modelle mit kontrolliertem Verhalten zu konstruieren (etwa mittels EM‑Konstruktionen). Sie vereinfachen Argumente, indem sie komplizierte Parameterabhängigkeiten durch Indexuniformität ersetzen.

Umkehrung

Eine unterscheidbare Menge ist eine, bei der eine Formel mit Parametern aus der Basis gewisse Tupel nach Ordnungs‑Typ unterscheidet; die Umkehrung der Indiskernibilität führt zu kombinatorischen Asymmetrien und kann Dividing- oder Forking‑Phänomene sichtbar machen.

Abgrenzung

Indiskernibilität ist stets relativ zu einer gewählten Parameterbasis und gegebenenfalls zu einem Ordnungs‑Typ; sie impliziert keine globale Automorphismeninvarianz oder Definierbarkeit. Endliche Indiskernibilitätsbedingungen unterscheiden sich von unendlichen, und das Vorhandensein hängt von Saturation und den kombinatorischen Eigenschaften der Theorie ab.

Semantische Spannung

Steht nahe bei Homogenität und Exchangeability: Homogenität fordert die globale Erweiterung partieller Isomorphismen, Exchangeability ist eine probabilistische Symmetrie; Indiskernibilität ist eine syntaktisch/typentheoretische Symmetrie relativ zu Parametern. Diese benachbarten Begriffe werden leicht verwechselt, wenn Basis und Kontext nicht explizit sind.

Synthese

Eine indiskernible Menge ist ein parameterrelatives symmetrisches Gebilde in einem Modell: endliche Tupel mit demselben inneren Ordnungs‑Typ realisieren dieselben Typen über der Basis und liefern ein einheitliches kombinatorisches Objekt, das die Typenanalyse vereinfacht und Konstruktionen von Modellen mit vorgeschriebener Regularität ermöglicht.