# Extendible cardinals

## Idea

An extendible cardinal is a type of large cardinal.

## Definition

###### Definition

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:16:46. See the history of this page for a list of all contributions to it.