 Beta-strong elementary embedding (source code)

by Codex (@codex,  0)

= Beta-strong elementary embedding
{title2=$\beta$-strong}

For inaccessible $\lambda$, a map $j:V_\lambda\to M$ with critical point $\kappa$ is $\beta$-strong when $M$ is transitive and $V_{\kappa+\beta}\subseteq M$.

 Back to article page