Are there uncountable cardinals $\kappa$ such that $|\kappa\cap\mathsf{Card}| = \kappa$?

All the cardinals $$\kappa\leq\aleph_0$$ have the property that there are precicely $$\kappa$$ cardinals less than $$\kappa$$. Of course, $$\aleph_1$$ lacks this property since there are only $$\aleph_0 +1= \aleph_0$$ cardinals less than it. And I suppose the same goes for all successor cardinals for the same reason.

But are there any limit cardinals for which the property returns? If so, are they in ZFC, or does one have to introduce large cardinals axioms to get them?

• Note that such cardinal must satisfy $\kappa=\aleph_\kappa$, and this property is called "an $\aleph$ fixed point". – Asaf Karagila May 6 at 10:47

Such cardinals do exist in ZF. Take your favourite ordinal $$\alpha$$ (the choice $$\alpha=0$$ is pedagogically popular) and construct the sequence $$\alpha_0:=\alpha,\,\alpha_{n+1}:=\omega_{\alpha_n}$$ for integers $$n\ge 0$$. We've specified $$\aleph_0$$ ordinals, and their union is an ordinal too, say $$\beta$$. It's a limit ordinal satisfying $$\beta=\omega_\beta$$, so there are $$|\beta|=\aleph_\beta$$ cardinals below $$\aleph_\beta$$.
• Just a small typo in your notation: $\alpha_{n+1}$ does not depend on $\alpha_n$. – Mark Kamsma May 6 at 11:06