Une suite indiscernable (sur un ensemble de base A) est une suite (a_i) indexée par un ensemble ordonné telle que pour tout n et pour deux n-uplets croissants d'indices i1<...

Principe

Le principe organisateur est la symétrie relative à A : la suite est combinatoirement homogène sur A de sorte que seul le type d'ordre importe, pas les indices concrets. Les indiscernables se construisent par extraction ramseyenne combinée à la compacité et servent à transférer la combinatoire locale en structure modélothétique globale.

Démonstration

Dans une théorie stable, une suite de Morley d'un type stationnaire sur A est indiscernable sur A ; concrètement, une suite de réalisations indépendantes d'une extension non forkante d'un type stationnaire forme une suite A-indiscernable qui encode le comportement combinatoire du type.

Mauvaise application

Supposer qu'une suite infinie contient toujours une sous-suite A-indiscernable du même type d'ordre sans vérifier les conditions sur le langage ou les cardinalités, ou confondre indiscernabilité d'ordre et indiscernabilité d'ensemble (ignorer si l'ordre compte) conduit à des réductions combinatoires incorrectes.

Conséquence

Les suites indiscernables permettent de remplacer des configurations arbitraires compliquées par des configurations très symétriques, autorisant des analyses canoniques du dividing/forking, l'extraction de paramètres canoniques et le contrôle des configurations combinatoires utilisées en théorie de la classification.

Inversion

L'opposé est une suite discernable : les positions sont distinguables par des formules sur A, ce qui peut témoigner de propriétés d'ordre ou de position et empêche la réduction à des motifs combinatoires symétriques.

Limite

L'indiscernabilité est relative à un ensemble de base A et à l'ordre des indices choisi ; elle dépend du langage et des cardinalités disponibles pour les arguments d'extraction. Il existe des variantes (indiscernabilité d'ordre, d'ensemble, réseaux mutuellement indiscernables) et l'existence d'indiscernables longs requiert la compacité et des outils combinatoires appropriés.

Tension sémantique

Il existe une tension entre l'échangeabilité probabiliste et l'indiscernabilité modélothétique : les deux expriment une symétrie mais diffèrent dans le rôle du conditionnement (paramètres) et en force (l'échangeabilité est métrique/mesurable, l'indiscernabilité est syntaxique/théorique des types).

Synthèse

Une suite indiscernable est un outil de symétrie syntaxique : en garantissant que des n-uplets pris en différentes positions réalisent les mêmes types sur une base, elle remplace des configurations désordonnées par des configurations uniformes qui dévoilent la combinatoire modélothétique sous-jacente au forking, à la stabilité et aux phénomènes de classification.