Suppose that $0^\#$ exists, is there a relatively simple way to show that for any ordinal $\lambda$, if $\lambda$ is a singular cardinal in $L$ then its real cofinality is $\omega$?
The real cofinality of singular cardinals in $L$ under $0^\#$
5
$\begingroup$
set-theory
large-cardinals