Some remarks on indestructibility and Hamkins' lottery preparation (Q1423631): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Klaas Pieter Hart / rank | |||
Property / reviewed by | |||
Property / reviewed by: Klaas Pieter Hart / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s00153-003-0181-3 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1985955104 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 19:51, 19 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