HOD dichotomy: Difference between revisions
no edit summary
RhubarbJayde (talk | contribs) No edit summary |
RhubarbJayde (talk | contribs) No edit summary |
||
Line 4:
* For every singular \(\gamma\), \(\gamma\) is singular in \(L\) and \((\gamma^+)^L = \gamma^+\).
The first option is equivalent to [[Zero sharp|\(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 [[Cofinality|regular]] cardinal greater than \(\delta\) is [[measurable]] in \(\mathrm{HOD}\).
|