Subconjunto o secuencia de una estructura cuyos tuplas finitas tienen el mismo tipo sobre un conjunto de parámetros fijo siempre que las tuplas tengan el mismo tipo de orden dentro del subconjunto; equivalentemente, ninguna fórmula con parámetros de la base distingue tuplas que son equivalentes por orden. Los indiscernibles son configuraciones altamente simétricas usadas en argumentos combinatorios y de clasificación.

Principio

La indiscernibilidad es la invariancia de los tipos bajo permutaciones que preservan el tipo de orden (o patrón de índices) de las tuplas: para cualquier n finito y para dos n‑tuplas crecientes del conjunto, sus tipos sobre el conjunto de parámetros coinciden. Hay que especificar el conjunto de parámetros porque la indiscernibilidad es relativa a él.

Demostración

En un modelo saturado de una teoría estable suele encontrarse una secuencia infinita (a_i)_{i∈ℤ} tal que para cualquier elección finita de índices estrictamente crecientes i_1<...

Aplicación incorrecta

Confundir indiscernibilidad con mera invariancia bajo automorfismos del modelo entero, o asumir que toda secuencia que parece simétrica es indiscernible sin comprobar el conjunto de parámetros. Otro error es tratar la indiscernibilidad por orden como indistinguibilidad por todas las fórmulas sin especificar la base de parámetros.

Consecuencia

Los conjuntos indiscernibles proporcionan testigos canónicos de regularidad combinatoria, son centrales en la teoría de estabilidad y simplicidad, y pueden utilizarse para construir modelos con comportamiento controlado (por ejemplo, mediante construcciones EM). Simplifican los argumentos al transformar dependencias de parámetros complicadas en uniformidad respecto a los índices.

Inversión

Un conjunto discernible es aquel para el que alguna fórmula con parámetros de la base distingue ciertos tuplas según su tipo de orden; invertir la indiscernibilidad produce asimetrías combinatorias y puede dar lugar a fenómenos de dividing o forking.

Límite

La indiscernibilidad siempre es relativa a un conjunto de parámetros elegido y, posiblemente, a un tipo de orden; no implica invariancia global por automorfismos ni definibilidad. Las condiciones de indiscernibilidad finita difieren de las infinitas y su existencia depende de la saturación y de las propiedades combinatorias de la teoría.

Tensión semántica

Está relacionada con homogeneidad y exchangeability: la homogeneidad exige la extensión global de isomorfismos parciales, la exchangeability es una simetría probabilística; la indiscernibilidad es una simetría sintáctica / teórica de tipos relativa a parámetros. Estos conceptos cercanos pueden confundirse si no se hace explícita la base y el contexto.

Síntesis

Un conjunto indiscernible es una configuración simétrica relativa a parámetros en un modelo: las tuplas finitas con el mismo orden interno realizan los mismos tipos sobre la base, proporcionando un objeto combinatorio uniforme que facilita el análisis de tipos y alimenta la construcción de modelos con regularidad prescrita.