HOD dichotomy

The HOD dichotomy theorem is a theorem which shows that HOD, the class of hereditarily ordinal-definable sets, must either be close to or far from the true universe, \(V\). It is formulated in analogy with Jensen's original dichotomy theorem, which asserts that one of the two following holds:

• Every uncountable cardinal is inaccessible in \(L\).
• For every singular \(\gamma\), \(\gamma\) is singular in \(L\) and \((\gamma^+)^L = \gamma^+\).

The first option is equivalent to \(0^\sharp\)'s existence, and the latter to its nonexistence, which therefore provides two useful equivalents. Similarly, the (weak) HOD dichotomy theorem says that, if \(\delta\) is an extendible cardinal, either:

• Every regular cardinal greater than \(\delta\) is measurable in \(\mathrm{HOD}\).
• For every singular \(\gamma > \delta\), \(\gamma\) is singular in \(\mathrm{HOD}\) and \((\gamma^+)^{\mathrm{HOD}} = \gamma^+\).

However, there is no known sharp for HOD that would cause the first option to hold.

An even stronger theorem holds: say \(\lambda\) is \(\omega\)-strongly measurable in HOD iff it is uncountable regular and there is \(\kappa < \lambda\) so that \((2^\kappa)^{\mathrm{HOD}} < \lambda\) and, for any partition of \(\{\alpha < \lambda: \mathrm{cof}(\alpha) = \omega\}\) into stationary sets \(\langle S_\alpha: \alpha < \kappa \rangle\), we have \(\langle S_\alpha: \alpha < \kappa \rangle \notin \mathrm{HOD}\). This definition is inspired by Solovay's splitting theorem. Any cardinal which is \(\omega\)-strongly measurable in HOD is measurable in \(\mathrm{HOD}\), and in fact, we have an interesting equivalence: if \(\delta\) is an extendible cardinal, then the following are equivalent:

• \(\mathrm{HOD}\) is a weak extender model for \(\delta\)'s supercompactness.
• There is a regular cardinal \(\gamma > \delta\) which is not \(\omega\)-strongly measurable in HOD.

Then we have a strong dichotomy: if \(\delta\) is an extendible cardinal, either:

• Every regular cardinal greater than \(\delta\) is \(\omega\)-strongly measurable in HOD.
• No regular cardinal greater than \(\delta\) is \(\omega\)-strongly measurable in HOD.

Neither of these three statements are particularly hard to prove.