The Linearity of the Mitchell Order

Abstract

We show from a weak comparison principle (the Ultrapower Axiom) that the Mitchell order is linear on certain kinds of ultrafilters: normal ultrafilters, Dodd solid ultrafilters, and assuming GCH, generalized normal ultrafilters. In the process we prove a generalization of Solovay's lemma to singular cardinals.