Skip to main content
4 of 4
added 14 characters in body

Fixed points of cardinal logarithm

For any cardinal $\kappa$ set $$\log(\kappa) = \min\{\mu\in \kappa\cup\{\kappa\}: 2^\mu \geq \kappa\}.$$ Clearly $\log(\omega) = \omega$ and in $\textsf{GCH}$ we have $\log(\aleph_\omega) = \aleph_\omega$.

Is it consistent that $\log(\kappa)<\kappa$ for all uncountable cardinals $\kappa$?