= Solution
No. Let
$$
\alpha=(\kappa^+)^M,
$$
the <successor cardinal> of $\kappa$ computed by $M$. Then $\alpha\in M$, and $M$ regards $\alpha$ as a <cardinal number>. Because $M$ is transitive, $\alpha\subseteq M$, so externally
$$
|\alpha|\leq|M|=\kappa.
$$
On the other hand $\kappa<\alpha$, hence $|\alpha|=\kappa$ in the ambient universe. A corresponding <bijection> belongs to $V_\lambda$ because its <rank of a set>[rank] is below the inaccessible limit $\lambda$. Thus $V_\lambda$ regards $\alpha$ as equinumerous with $\kappa$ and therefore not as a cardinal. This is an instance of <cardinal nonabsoluteness in a small transitive model>.
Back to article page
