jdh.hamkins.org
Extensions with the approximation and cover properties have no new large cardinals
[bibtex key=Hamkins2003:ExtensionsWithApproximationAndCoverProperties]