Low is a Dividing Line in Keisler's Order

Abstract

We show in $ZFC$ that the class of low theories forms a dividing line in Keisler's order. That is, if $T$ is low and $T' \trianglelefteq T$ then $T'$ is low. We also show there is a minimal nonlow theory $T_{cas}$.