Inner models with large cardinal features usually obtained by forcing Posted on November 3, 2011 by Joel David Hamkins