Ordre de Keisler

Un préordre sur les théories complètes du premier ordre qui compare leur complexité relative en testant quelles théories admettent des ultraproduits saturés par rapport à des classes d'ultrafiltres réguliers : T1 ≤ T2 si tout ultrafiltre régulier qui sature T2 sature aussi T1.