Indestructible weakly compact cardinals and the necessity of supercompactness for certain proof schemata Posted on September 25, 2011 by Joel David Hamkins