Timeline for What happens with large singular cardinals on the far side of the HOD dichotomy?

8 events

when toggle format	what		by	license	comment
Jul 10, 2019 at 14:21	answer	added	Gabe Goldberg		timeline score: 6
Jul 10, 2019 at 6:41	history	edited	Monroe Eskew	CC BY-SA 4.0	added 302 characters in body
Jul 9, 2019 at 12:31	comment	added	Gabe Goldberg		I'm not sure. Since every regular cardinal $\kappa \geq\delta$ is $\omega$-strongly measurable in $\text{HOD}$, there is an $\omega$-club below $\kappa$ of cardinals of cofinality $\omega$ which are regular in $\text{HOD}$. Is it interesting to look at whether the ordinals that are singular in $\text{HOD}$ are nonstationary in $\kappa$?
Jul 9, 2019 at 12:06	comment	added	Monroe Eskew		@GabeGoldberg Oh I see, thanks. So any non-$\aleph$-fixed point is also singular in HOD as well. Also the least $\aleph$-fixed point above $\alpha$, the $\omega^{th}$, etc. What is the most general thing we can say here?
Jul 9, 2019 at 11:41	comment	added	Gabe Goldberg		A typical example is $\lambda = \delta^{+\omega}$, which has cofinality $\omega$ in $\text{HOD}$ since $\langle\delta^{+n} : n < \omega\rangle$ is ordinal definable.
Jul 8, 2019 at 15:53	history	edited	Monroe Eskew	CC BY-SA 4.0	edited title
Jul 8, 2019 at 15:42	history	edited	Monroe Eskew	CC BY-SA 4.0	edited title
Jul 8, 2019 at 14:13	history	asked	Monroe Eskew	CC BY-SA 4.0