HOD dichotomy: Difference between revisions

Content added Content deleted

Inline

Revision as of 15:11, 9 September 2023 (edit) RhubarbJayde (talk \| contribs) No edit summary Tag: Visual edit ← Older edit		Revision as of 15:12, 9 September 2023 (edit) (undo) RhubarbJayde (talk \| contribs) No edit summary Tag: Visual edit Newer edit →
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.

Navigation menu