## [Orden de Keisler](/es/node/60394) Definición 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 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 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 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 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 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 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 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 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.