Some remarks on indestructibility and Hamkins' lottery preparation (Q1423631): Difference between revisions

\textit{J. M. Hamkins}' lottery preparation [Ann. Pure Appl. Logic 101, No. 2--3, 103--146 (2000; Zbl 0949.03045)] provides a unified way of forcing indestructibility of various large-cardinal properties. Grossly simplified it takes, at each opportune stage in an iterated forcing construction, a disjoint sum of partial orders as the next factor. At the end the generic filter will have picked one of these at random -- hence the lottery metaphor. The author applies this approach to obtain results on the indestructibility of strongness and supercompactness. For example one may extend the universe whilst preserving all supercompact cardinals (and not creating any new ones) so that in the end \textit{every} supercompact cardinal \(\kappa\) is indestructible by \(\kappa\)-directed closed forcing. Similar results, with alas much longer statements, can be proved for the strong cardinals and for both classes simultaneously.