Rank-initial embeddings of non-standard models of set theory

Paul K. Gorbow

A theoretical development is carried to establish fundamental results about rank-initial embeddings and automorphisms of countable non-standard models of set theory, with a keen ey…