"Inner models in the region of a Woodin limit of Woodin cardinals."

Itay Neeman (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics