7
$\begingroup$

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$?

$\endgroup$

1 Answer 1

12
$\begingroup$

No. Because strong limits cardinals exist in $\sf ZFC$. These are the $\beth_\alpha$ for a non-successor $\alpha$.

$\endgroup$
2
  • $\begingroup$ And without choice? $\endgroup$ Mar 17, 2017 at 10:14
  • 1
    $\begingroup$ You have to be more careful, but there is a reasonable sense in which the same statement is provable without choice. $\endgroup$
    – Asaf Karagila
    Mar 17, 2017 at 10:59

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.