All Questions

Let $\mathcal{E}_{\lambda}$ be the set of all elementary embeddings from $V_{\lambda}$ to $V_{\lambda}$. If $j\in\mathcal{E}_{\lambda}$ is a non-trivial elementary embedding, then define $\mathrm{crit}...

Let $j:V_{\lambda}\rightarrow V_{\lambda}$ be an elementary embedding. Then $\{\mathrm{crit}(k)\mid k\in\langle j\rangle\}$ has order type $\omega$, so let $\mathrm{crit}_{n}(j)$ denote the $n$-th ...