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 21: | Line 21: | ||
* No [[Cofinality|regular]] cardinal greater than \(\delta\) is \(\omega\)-strongly measurable in HOD. |
* No [[Cofinality|regular]] cardinal greater than \(\delta\) is \(\omega\)-strongly measurable in HOD. |
||
Neither of these are particularly hard to prove. |
Neither of these three statements are particularly hard to prove. |