jdh.hamkins.org
Large cardinals need not be large in HOD
[bibtex key=ChengFriedmanHamkins2015:LargeCardinalsNeedNotBeLargeInHOD]