Keisler Order

A pre‑order on complete first‑order theories that compares their relative complexity by testing which theories have saturated ultrapowers with respect to classes of regular ultrafilters: T1 ≤ T2 if every regular ultrafilter that saturates T2 also saturates T1.