The lottery preparation
From MaRDI portal
Publication:1964017
Abstract: The lottery preparation, a new general kind of Laver preparation, works uniformly with supercompact cardinals, strongly compact cardinals, strong cardinals, measurable cardinals, or what have you. And like the Laver preparation, the lottery preparation makes these cardinals indestructible by various kinds of further forcing. A supercompact cardinal kappa, for example, becomes fully indestructible by kappa-directed closed forcing; a strong cardinal kappa becomes indestructible by less-than-or-equal-kappa-strategically closed forcing; and a strongly compact cardinal kappa becomes indestructible by, among others, the forcing to add a Cohen subset to kappa, the forcing to shoot a club C in kappa which avoids the measurable cardinals and the forcing to add various long Prikry sequences. The lottery preparation works best when performed after fast function forcing, which adds a new completely general kind of Laver function for any large cardinal, thereby freeing the Laver function concept from the supercompact cardinal context.
Recommendations
Cites work
- Boolean extensions and measurable cardinals
- Canonical seeds and Prikry trees
- Destruction or preservation as you like it
- Fragile measurability
- How large is the first strongly compact cardinal? or a study on identity crises
- Laver indestructibility and the class of compact cardinals
- Laver sequences for extendible and super-almost-huge cardinals
- Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
- On certain indestructibility of strong cardinals and a question of Hajnal
- On strong compactness and supercompactness
- Patterns of compact cardinals
- The least measurable can be strongly compact and indestructible
- The wholeness axiom and Laver sequences
Cited in
(61)- Tall cardinals
- Characterizations of the weakly compact ideal on \(P_\kappa\lambda\)
- 2007 European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '07
- Indestructibility of Vopěnka's principle
- Blowing up the power set of the least measurable
- A universal indestructibility theorem compatible with level by level equivalence
- Some remarks on indestructibility and Hamkins' lottery preparation
- Universal indestructibility for degrees of supercompactness and strongly compact cardinals
- On some properties of Shelah cardinals
- A Laver-like indestructibility for hypermeasurable cardinals
- Inner models with large cardinal features usually obtained by forcing
- Strongly uplifting cardinals and the boldface resurrection axioms
- Absoluteness via resurrection
- Large cardinals with few measures
- The proper and semi-proper forcing axioms for forcing notions that preserve ℵ₂ or ℵ₃
- Coding into HOD via normal measures with some applications
- Indestructibility, instances of strong compactness, and level by level inequivalence
- Indestructibility properties of Ramsey and Ramsey-like cardinals
- Indestructible strong compactness but not supercompactness
- INDESTRUCTIBILITY WHEN THE FIRST TWO MEASURABLE CARDINALS ARE STRONGLY COMPACT
- The tree property at the \(\aleph_{2 n}\)'s and the failure of SCH at \(\aleph_\omega\)
- Indestructibility and stationary reflection
- Indestructible strong compactness and level by level equivalence with no large cardinal restrictions
- Failures of SCH and level by level equivalence
- The least strongly compact can be the least strong and indestructible
- Supercompactness and level by level equivalence are compatible with indestructibility for strong compactness
- Indestructibility under adding Cohen subsets and level by level equivalence
- Preparation
- Mixed levels of indestructibility
- Club stationary reflection and other combinatorial principles at \(\aleph_{ \omega +2}\)
- The weakly compact reflection principle need not imply a high order of weak compactness
- The failure of GCH at a degree of supercompactness
- Local saturation of the non-stationary ideal over \(\mathcal P_{\kappa}\lambda\)
- Large cardinals and definable well-orders on the universe
- An equiconsistency for universal indestructibility
- Hierarchies of forcing axioms I
- Normal measures on a tall cardinal
- Tall, strong, and strongly compact cardinals
- The consistency of level by level equivalence with \(V=\mathrm{HOD}\), the ground axiom, and instances of square and diamond
- JOINT DIAMONDS AND LAVER DIAMONDS
- Resurrection axioms and uplifting cardinals
- Large cardinals need not be large in HOD
- The least weakly compact cardinal can be unfoldable, weakly measurable and nearly \(\theta\)-supercompact
- Indestructibility and destructible measurable cardinals
- Strongly unfoldable cardinals made indestructible
- Indestructibility and the level-by-level agreement between strong compactness and supercompactness
- Inner-model reflection principles
- On extendible cardinals and the GCH
- On supercompactness and the continuum function
- Diamond (on the regulars) can fail at any strongly unfoldable cardinal
- MORE ON THE PRESERVATION OF LARGE CARDINALS UNDER CLASS FORCING
- Superstrong and other large cardinals are never Laver indestructible
- Indestructible strong unfoldability
- Laver and set theory
- Set-theoretic geology
- Indestructible strong compactness and level by level inequivalence
- The Lucky Tickets
- Strongly compact cardinals and the continuum function
- Identity crises and strong compactness. III: Woodin cardinals
- On spaces with \(\sigma\)-closed-discrete dense sets
- Hierarchies of forcing axioms, the continuum hypothesis and square principles
This page was built for publication: The lottery preparation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1964017)
