If $\kappa\lt\lambda$, we say $\kappa$ is $\lambda$-extendible if there is an elementary embedding$j:V_\lambda \to V_\mu$ with critical point $\kappa$ such that $j(\kappa)\gt \lambda$.

We say $\kappa$ is extendible if it is $\lambda$-extendible for all $\lambda\gt\kappa$.

Created on September 24, 2012 at 06:17:31.
See the history of this page for a list of all contributions to it.