Un preorden sobre teorías completas de primer orden que compara su complejidad relativa examinando qué teorías tienen ultraproducciones saturadas respecto a clases de ultrafiltros regulares: T1 ≤ T2 cuando todo ultrafiltro regular que satura T2 también satura T1.

Principio

La idea organizadora es medir la complejidad a través del comportamiento de los ultraproducidos: una teoría es 'más difícil' si requiere ultrafiltros más fuertes para obtener ultraproducidos saturados, de modo que la saturación por ultrafiltros proporciona una escala de dificultad.

Demostración

Estratificación concreta: las teorías estables suelen ocupar niveles bajos en el orden de Keisler (muchos ultrafiltros regulares las saturan), mientras que ciertas teorías inestables que codifican combinatoria compleja necesitan ultrafiltros especiales y se sitúan en grados superiores; esto se demuestra construyendo ultrafiltros que saturan algunas teorías pero no otras.

Aplicación incorrecta

Confundir el orden de Keisler con una clasificación lineal como el rango de Morley o asumir que es absoluto entre universos de teoría de conjuntos; el orden depende de los ultrafiltros existentes y de hipótesis set‑teóricas, por lo que afirmar linealidad estricta o absolutismo es incorrecto.

Consecuencia

Proporciona un invariante grueso pero sólido para la teoría de la clasificación: divide teorías en clases de equivalencia y estratos que reflejan propiedades combinatorias y de estabilidad, y conecta la teoría de modelos con métodos basados en ultrafiltros y teoría de conjuntos.

Inversión

Invertir la comparación (afirmar T1 > T2) indica que existe algún ultrafiltro regular que satura T1 pero no T2; la inversión enfatiza que la complejidad es relativa y sensible a la elección del ultrafiltro.

Límite

Se define para teorías completas y se formula usando ultrafiltros regulares y saturación de ultraproducidos; su forma exacta puede variar con la clase de ultrafiltros considerada y es sensible a hipótesis de teoría de conjuntos (por ejemplo, existencia de ultrafiltros particulares).

Tensión semántica

Tensión entre el orden de Keisler y otras jerarquías (estabilidad, simplicidad, NIP): algunas propiedades siguen niveles de Keisler pero ninguna coincide completamente, dando lugar a maneras competitivas de valorar la complejidad de una teoría.

Síntesis

El Orden de Keisler organiza teorías de primer orden por lo exigentes que son para que los ultrafiltros produzcan ultraproducidos saturados: es un preorden relativo, sensible a ultrafiltros, que enlaza propiedades combinatorias modelo‑teóricas con el comportamiento de ultraproducidos en teoría de conjuntos.