Some remarks on indestructibility and Hamkins' lottery preparation (Q1423631): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 05:17, 5 March 2024
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
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
supercompact cardinal
0 references
strongly compact cardinal
0 references
strong cardinal
0 references
lottery preparation
0 references