EXTENDERS, EMBEDDING NORMAL FORMS, AND THE MARTIN-STEEL-THEOREM

We propose a simple notion of ''extender'' for coding large elementary embeddings of models of set theory. As an application we present a se lf-contained proof of the theorem by D. Martin and J. Steel that infin itely many Woodin cardinals imply the determinacy of every projective set.