jdh.hamkins.org
Inner models with large cardinal features usually obtained by forcing
[bibtex key=ApterGitmanHamkins2012:InnerModelsWithLargeCardinals]