Une suite (a_i) de tuples dans une structure telle que pour deux suites finies d'indices croissants i1<...

Principe

L'indiscernabilité exprime un fort degré de symétrie : la suite se comporte comme un ensemble linéaire homogène de réalisations d'un motif, en faisant un objet combinatoire canonique pour extraire un comportement régulier et définir des suites de Morley en théorie de la stabilité et de l'indépendance.

Démonstration

Dans un modèle saturé d'une théorie stable, si p est un type stationnaire alors une suite de Morley dans p (construite par réalisations successives sans fork) est indiscernable sur la base ; de même, les constructions d'Ehrenfeucht–Mostowski produisent des suites indiscernables réalisant des EM‑types prescrits.

Mauvaise application

Prétendre qu'une longue répétition d'éléments semblables est indiscernable sans vérifier les types, ou confondre indiscernabilité d'ordre et indiscernabilité d'ensemble ; traiter les indiscernables comme indépendants sans vérifier l'absence de fork en contextes instables est également erroné.

Conséquence

Les suites indiscernables sont des outils combinatoires centraux : elles permettent de transférer l'information de type locale à des configurations globales, soutiennent de nombreuses preuves en stabilité, simplicité et NIP, et permettent des constructions de modèles contrôlées comme les modèles EM.

Inversion

Une suite discernable est telle que certaines sous‑séquences finies ont des types distincts ; la détection de la discernabilité sert souvent à témoigner l'instabilité ou la présence de motifs d'ordre/indépendance dans une théorie.

Limite

Définit relative à un ensemble de paramètres et au langage ; il faut distinguer indiscernabilité d'ordre (les types ne dépendent que de l'ordre) et indiscernabilité d'ensemble (les types ne dépendent que de l'ensemble d'indices), ainsi que les notions d'indiscernabilité finie ou infinie.

Tension sémantique

Tension entre l'idée des indiscernables comme objets symétriques idéalisés et des témoins combinatoires concrets de complexité (par ex. indiscernables vs suites aléatoires ou génériques) ; choisir la notion d'indiscernabilité adaptée est crucial en application.

Synthèse

Une suite indiscernable est une liste ordonnée hautement symétrique de tuples dont les sous‑séquences finies ont des types identiques selon l'ordre des indices ; c'est un dispositif fondamental pour extraire de la régularité et effectuer des constructions canoniques en théorie des modèles.