Una secuencia indiscernible (sobre un conjunto base A) es una secuencia (a_i) indexada por un conjunto ordenado tal que para todo n y para dos n-tuplas crecientes de índices i1<...

Principio

La idea organizadora es la simetría relativa a A: la secuencia es combinatoriamente homogénea sobre A, de modo que solo importa el tipo de orden, no los índices concretos. Los indiscernibles se obtienen por extracción ramseyana y compacidad y son centrales para transferir la combinatoria local a la estructura modeloteórica global.

Demostración

En una teoría estable, una secuencia de Morley de un tipo estacionario sobre A es indiscernible sobre A; concretamente, una secuencia de realizaciones independientes de una extensión no forkante de un tipo estacionario forma una secuencia A-indiscernible que codifica el comportamiento combinatorio del tipo.

Aplicación incorrecta

Suponer que cualquier secuencia infinita contiene una subsecuencia A-indiscernible del mismo tipo de orden sin comprobar condiciones de lenguaje o cardinalidad, o confundir indiscernibilidad por orden con indiscernibilidad por conjunto (ignorar si el orden importa) conduce a reducciones combinatorias incorrectas.

Consecuencia

Las secuencias indiscernibles permiten reemplazar arreglos complicados por otros altamente simétricos, posibilitando análisis canónicos de dividing/forking, extracción de parámetros canónicos y control de configuraciones combinatorias utilizadas en teoría de la clasificación.

Inversión

El reverso es una secuencia discernible: las posiciones son distinguibles por fórmulas sobre A, lo que puede evidenciar propiedades de orden o posicionamiento e impide la reducción a patrones combinatorios simétricos.

Límite

La indiscernibilidad es relativa a un conjunto base A y al orden de índices elegido; depende del lenguaje y de las cardinalidades disponibles para los argumentos de extracción. Hay variantes (indiscernibilidad por orden, por conjunto, arreglos mutuamente indiscernibles) y la existencia de indiscernibles largos requiere compacidad más herramientas combinatorias adecuadas.

Tensión semántica

Existe tensión entre la intercambiabilidad probabilística y la indiscernibilidad modeloteórica: ambas expresan simetría pero difieren en el papel del condicionamiento (parámetros) y en la fuerza (la intercambiabilidad es medida-teórica; la indiscernibilidad es sintáctica/teórica de tipos).

Síntesis

Una secuencia indiscernible es una herramienta de simetría sintáctica: al garantizar que tuplas tomadas en distintas posiciones realizan los mismos tipos sobre una base, reemplaza configuraciones desordenadas por uniformes que desvelan la combinatoria modeloteórica subyacente al forking, la estabilidad y los fenómenos de clasificación.