Some remarks on indestructibility and Hamkins' lottery preparation (Q1423631)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Some remarks on indestructibility and Hamkins' lottery preparation
scientific article

    Statements

    Some remarks on indestructibility and Hamkins' lottery preparation (English)
    0 references
    0 references
    7 March 2004
    0 references
    \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.
    0 references
    0 references
    supercompact cardinal
    0 references
    strongly compact cardinal
    0 references
    strong cardinal
    0 references
    lottery preparation
    0 references
    0 references