 Solution

For an infinite cardinal number $\kappa$, the gimel function isThe singular cardinals hypothesis asserts that for every infinite singular cardinal $\kappa$,Here ${\kappa }^{+}$ is the successor cardinal. Equivalently, for every infinite singular cardinal,To see why the second formulation adds nothing in the other case, put $\theta =\mathrm{cf}(\kappa )$. If $\kappa \le 2^{\theta }$, then $2^{\theta }\le {\kappa }^{\theta }\le (2^{\theta }{)}^{\theta }=2^{\theta }$ by infinite cardinal arithmetic. Equality $\kappa =2^{\theta }$ is impossible here: the König theorem for cardinal numbers gives $\mathrm{cf}(2^{\theta })>\theta$, whereas $\mathrm{cf}(\kappa )=\theta$. Thus in this case $2^{\theta }\ge {\kappa }^{+}$, as required by the maximum formula. For a strong limit cardinal that is singular, the hypothesis also yields $2^{\kappa }={\kappa }^{+}$: restrictions of a subset of $\kappa$ to a cofinal sequence of smaller cardinals give $2^{\kappa }\le {\kappa }^{\theta }$, while the reverse inequality is immediate. The quantified implication above is the precise general statement.