HOD dichotomy: Difference between revisions

no edit summary
No edit summary
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.