Keislers Ordnung

Ein Präordnungsbegriff für vollständige erste‑Ordnungstheorien, der ihre relative Komplexität dadurch vergleicht, welche Theorien bezüglich Klassen regulärer Ultrafiltern saturierte Ultraprodukte besitzen: T1 ≤ T2 genau dann, wenn jedes reguläre Ultrafiltr, das T2 saturiert, auch T1 saturiert.