Weakly inaccessible cardinal (source code)

= Weakly inaccessible cardinal
{title2=$\operatorname{cf}(\kappa)=\kappa\text{ and }\kappa\text{ is an uncountable limit cardinal}$}

A weakly inaccessible cardinal is an uncountable <regular cardinal> that is a <limit cardinal>. It need not be a <strong limit cardinal>. Under the <Generalized continuum hypothesis>, it is a <strongly inaccessible cardinal>, since every smaller infinite $\lambda$ satisfies $2^\lambda=\lambda^+<\kappa$.