HOD dichotomy: Difference between revisions
Jump to navigation
Jump to search
Content added Content deleted
RhubarbJayde (talk | contribs) No edit summary |
RhubarbJayde (talk | contribs) No edit summary |
||
Line 4: | Line 4: | ||
* For every singular \(\gamma\), \(\gamma\) is singular in \(L\) and \((\gamma^+)^L = \gamma^+\). |
* 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 equivalents. Similarly, the HOD dichotomy theorem says that, if \(\delta\) is an [[extendible]] cardinal, either: |
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}\). |
* Every [[Cofinality|regular]] cardinal greater than \(\delta\) is [[measurable]] in \(\mathrm{HOD}\). |