A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Inner models with large cardinal features usually obtained by forcing
2011
Archive for Mathematical Logic
We construct a variety of inner models exhibiting large cardinal features usually obtained by forcing. For example, if there is a supercompact cardinal, then there is an inner model with a Laver indestructible supercompact cardinal. If there is a supercompact cardinal, then there is an inner model with a supercompact cardinal κ for which 2 κ = κ + , another for which 2 κ = κ ++ and another in which the least strongly compact cardinal is supercompact. If there is a strongly compact cardinal,
doi:10.1007/s00153-011-0264-5
fatcat:ufdzoyy47ve37c5ka4uwfzlzzq