There is a Turing functional $\Phi $ taking $A^\prime $ to a theory $T_A$ whose complexity is exactly that of the jump of A, and which has the property that $A \leq _T B$ if and only if $T_A \trianglelefteq T_B$ in Keisler’s order. In fact, by more elaborate means and related theories, we may keep the complexity at the level of A without using the jump.

We show that if there is a supercompact cardinal, then Keisler’s order is not linear. More specifically, let Tn,k be the theory of the generic n-clique free k-ary graph for any n > k ≥ 3, and let TCas be the simple nonlow theory described by Casanovas in [2]. Then we show that TCas$$Tn,k always, and if there is a supercompact cardinal then Tn,k$$TCas.

Our results in this paper increase the model-theoretic precision of a widely usedmethod for building ultrafilters, and so advance the general problem ofconstructing ultrafilters whose ultrapowers have a precise degree of saturation.We begin by showing that any flexible regular ultrafilter makes the product ofan unbounded sequence of finite cardinals large, thus saturating any stabletheory. We then prove directly that a “bottleneck” in theinductive construction of a regular ultrafilter on λ(i.e., a point after which all antichains of ${\cal P}\left( \lambda \right)/{\cal D}$ have cardinality less than λ)essentially prevents any subsequent ultrafilter from being flexible, thus fromsaturating any nonlow theory. The constructions are as follows. First, weconstruct a regular filter ${\cal D}$ on λ so that any ultrafilterextending ${\cal D}$ fails to ${\lambda ^ + }$-saturate ultrapowers of the random graph, thus of any unstabletheory. The proof constructs the omitted random graph type directly. Second,assuming existence of a measurable cardinal κ, weconstruct a regular ultrafilter on $\lambda > \kappa$ which is λ-flexible but not ${\kappa ^{ + + }}$-good, improving our previous answer to a question raised inDow (1985). Third, assuming a weakly compact cardinalκ, we construct an ultrafilter to show that ${\rm{lcf}}\left( {{\aleph _0}} \right)$ may be small while all symmetric cuts of cofinalityκ are realized. Thus certain families of precutsmay be realized while still failing to saturate any unstable theory.