HOD dichotomy: Difference between revisions
no edit summary
RhubarbJayde (talk | contribs) No edit summary |
RhubarbJayde (talk | contribs) No edit summary |
||
Line 21:
* No [[Cofinality|regular]] cardinal greater than \(\delta\) is \(\omega\)-strongly measurable in HOD.
Neither of these three statements are particularly hard to prove.
|