[bibtex key=Hamkins2003:ExtensionsWithApproximationAndCoverProperties]
If an extension of satisfies the -approximation and cover properties for classes and is a class in , then every suitably closed embedding in with critical point above restricts to an embedding amenable to the ground model . In such extensions, therefore, there are no new large cardinals above delta. This result extends work in my article on gap forcing.
Pingback: Approximation and cover properties transfer upward | Joel David Hamkins