"Characterization of □κ in Core Models."

Ernest Schimmerling, Martin Zeman (2004)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics