Orden de Keisler

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
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.