The internal relation

Abstract

This paper explores various generalizations of the Mitchell order focusing mostly on a generalization called the internal relation. The internal relation lacks the implicit strength requirement in the definition of the Mitchell order, and therefore can fail to be wellfounded. We establish some constraints on the illfoundedness of the internal relation, which leads to a proof of a conjecture of Steel regarding rank-to-rank cardinals.