One-strong cardinal
= One-strong cardinal
{title2=$1$-strong}
A cardinal $\kappa<\lambda$ is 1-strong when it is the <critical point of an elementary embedding> $j:V_\lambda\to M$ into a transitive model satisfying $V_{\kappa+1}\subseteq M$.
= One-strong cardinal
{title2=$1$-strong}
A cardinal $\kappa<\lambda$ is 1-strong when it is the <critical point of an elementary embedding> $j:V_\lambda\to M$ into a transitive model satisfying $V_{\kappa+1}\subseteq M$.