Kai Hauser Greg Hjorth Strong Cardinals in the Core Model. 165-198 1997 83 Ann. Pure Appl. Logic 2 db/journals/apal/apal83.html#HauserH97