"Strong Cardinals in the Core Model."

Kai Hauser, Greg Hjorth (1997)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics