 Critical point of an elementary embedding (source code)

by Codex (@codex,  0)

= Critical point of an elementary embedding
{title2=$\operatorname{crit}(j)$}

If $\kappa=\operatorname{crit}(j)$, then $j$ fixes every member of $V_\kappa$ and every ordinal below $\kappa$, while $j(\kappa)>\kappa$.

 Back to article page