Eine Folge (a_i) von Tupeln in einer Struktur, so dass für zwei endliche, streng wachsende Indexfolgen i1<...

Prinzip

Indiskernibilität drückt ein hohes Maß an Symmetrie aus: Die Folge verhält sich wie eine homogene linear geordnete Menge von Realisierungen eines Musters und ist ein kanonisches kombinatorisches Objekt zur Extraktion regulären Verhaltens und zur Definition von Morley‑ähnlichen Folgen in Stabilitäts‑ und Unabhängigkeitslehren.

Demonstration

In einem saturierten Modell einer stabilen Theorie ist eine Morley‑Folge in einem stationären Typ p (konstruierbar durch sukzessive nicht‑forkende Realisierungen) indiskernibel über der Basis; ebenso erzeugen Ehrenfeucht–Mostowski‑Konstruktionen indiskernible Folgen mit vorgegebenen EM‑Typen.

Fehlanwendung

Die Annahme, eine lange Wiederholung ähnlicher Elemente sei automatisch indiskernibel ohne Typüberprüfung, oder die Verwechslung von ordnungs‑indiskerniblen und mengen‑indiskerniblen Folgen; ferner die Behandlung von Indiskerniblen als unabhängig ohne Prüfung des Nicht‑Forkens in instabilen Kontexten ist falsch.

Konsequenz

Indiskernible Folgen sind zentrale kombinatorische Werkzeuge: Sie erlauben die Übertragung lokaler Typinformation auf globale Konfigurationen, stützen viele Beweise in Stabilitäts‑, Einfachheits‑ und NIP‑Theorie und ermöglichen kontrollierte Modellkonstruktionen wie EM‑Modelle.

Umkehrung

Eine unterscheidbare Folge ist eine, bei der einige endliche Teilfolgen unterschiedliche Typen haben; das Feststellen von Unterscheidbarkeit dient oft als Hinweis auf Instabilität oder das Vorhandensein von Ordnungs‑/Unabhängigkeitsmustern in einer Theorie.

Abgrenzung

Definiert relativ zu einem Parametersatz und einer Sprache; es ist wichtig, zwischen Ordnungs‑Indiskernibilität (Typen hängen nur von der Ordnung ab) und Mengen‑Indiskernibilität (Typen hängen nur von der Indexmenge ab) sowie zwischen endlicher und unendlicher Indiskernibilität zu unterscheiden.

Semantische Spannung

Spannung zwischen Indiskerniblen als idealisierten symmetrischen Objekten und konkreten kombinatorischen Komplexitätszeugen (z. B. Indiskernible vs. zufällige oder generische Folgen); die Wahl der passenden Indiskernibilitätsbegrifflichkeit ist für Anwendungen entscheidend.

Synthese

Eine indiskernible Folge ist eine stark symmetrische geordnete Liste von Tupeln, deren endliche Teilfolgen entsprechend der Indexordnung gleiche Typen besitzen; sie ist ein grundlegendes Mittel, um Regelmäßigkeit zu extrahieren und kanonische Konstruktionen in der Modelltheorie durchzuführen.