Keisler's order has infinitely many classes

M. Malliaris, S. Shelah

We prove, in ZFC, that there is an infinite strictly descending chain of classes of theories in Keisler's order. Thus Keisler's order is infinite and not a well order. Moreover, th…