Una sucesión (a_i) de tuplas en una estructura tal que para cualesquiera dos secuencias finitas de índices crecientes i1<...

Principio

La indiscernibilidad expresa un alto grado de simetría: la sucesión se comporta como un conjunto lineal homogéneo de realizaciones de un patrón, siendo un objeto combinatorio canónico para extraer comportamientos regulares y para definir sucesiones de Morley en teoría de la estabilidad e independencia.

Demostración

En un modelo saturado de una teoría estable, si p es un tipo estacionario, una sucesión de Morley en p (construida por realizaciones sucesivas sin fork) es indiscernible sobre la base; de manera similar, construcciones de Ehrenfeucht–Mostowski producen sucesiones indiscernibles que realizan tipos EM prescritos.

Aplicación incorrecta

Asumir que una larga repetición de elementos parecidos es indiscernible sin comprobar tipos, o confundir indiscernibilidad por orden con indiscernibilidad por conjunto; también es erróneo tratar indiscernibles como independientes sin verificar la ausencia de fork en contextos inestables.

Consecuencia

Las sucesiones indiscernibles son herramientas combinatorias centrales: permiten transferir información local de tipos a configuraciones globales, sustentan muchas pruebas en estabilidad, simplicidad y NIP, y permiten construcciones controladas de modelos como modelos EM.

Inversión

Una sucesión discernible es aquella en la que algunas subsecuencias finitas tienen tipos distintos; detectar discernibilidad suele servir para poner de manifiesto inestabilidad o la presencia de patrones de orden/independencia en una teoría.

Límite

Definida respecto a un conjunto de parámetros y un lenguaje; importa distinguir indiscernibilidad por orden (los tipos dependen sólo del orden) e indiscernibilidad por conjunto (los tipos dependen sólo del conjunto de índices), así como nociones de indiscernibilidad finita frente a infinita.

Tensión semántica

Tensión entre las indiscernibles como objetos simétricos idealizados y los testigos combinatorios concretos de complejidad (p. ej. indiscernibles frente a sucesiones aleatorias o genéricas); elegir la noción adecuada de indiscernibilidad es crítico en las aplicaciones.

Síntesis

Una sucesión indiscernible es una lista ordenada altamente simétrica de tuplas cuyas subsecuencias finitas tienen tipos idénticos según el orden de índices; es un instrumento fundamental para extraer regularidad y llevar a cabo construcciones canónicas en teoría de modelos.