Motivated by a characterization of weakly compact cardinals due to Todorcevic, we introduce a new cardinal characteristic, the C-sequence number, which can be seen as a measure of the compactness of a regular uncountable cardinal. We prove a number of ZFC and independence results about the C-sequence number and its relationship with large cardinals, stationary reflection, and square principles. We then introduce and study the more general C-sequence spectrum and uncover some tight connections between the C-sequence spectrum and the strong (...) coloring principle U(. . .), introduced in Part I of this series. (shrink)

We provide a model theoretical and tree property-like characterization of $\lambda $ - $\Pi ^1_1$ -subcompactness and supercompactness. We explore the behavior of these combinatorial principles at accessible cardinals.

We show from an abstract comparison principle that the Mitchell order is linear on sufficiently strong ultrafilters: normal ultrafilters, Dodd solid ultrafilters, and assuming GCH, generalized normal ultrafilters. This gives a conditional answer to the well-known question of whether a [Formula: see text]-supercompact cardinal [Formula: see text] must carry more than one normal measure of order 0. Conditioned on a very plausible iteration hypothesis, the answer is no, since the Ultrapower Axiom holds in the canonical inner models at the finite (...) levels of supercompactness. (shrink)