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 self-contained proof of the theorem by D. Martin and J. Steel that infinitely many Woodin cardinals imply the determinacy of every projective set.