Iterated Forcing and Elementary Embeddings

Abstract

I give a survey of some forcing techniques which are useful in the study of large cardinals and elementary embeddings. The main theme is the problem of extending a (possibly generic) elementary embedding of the universe to a larger domain, which is typically a generic extension of the ground model by some iterated forcing construction.