Initial self-embeddings of models of set theory

Ali Enayat, Zachiri McKenzie

By a classical theorem of Harvey Friedman (1973), every countable nonstandard model $\mathcal{M}$ of a sufficiently strong fragment of ZF has a proper rank-initial self-embedding $…