The lottery preparation
From MaRDI portal
DOI10.1016/S0168-0072(99)00010-XzbMATH Open0949.03045DBLPjournals/apal/Hamkins00arXivmath/9808012WikidataQ56813202 ScholiaQ56813202MaRDI QIDQ1964017FDOQ1964017
Authors: Joel David Hamkins 
Publication date: 3 December 2000
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
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.
Full work available at URL: https://arxiv.org/abs/math/9808012
Recommendations
Cites Work
- Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
- The wholeness axiom and Laver sequences
- How large is the first strongly compact cardinal? or a study on identity crises
- Boolean extensions and measurable cardinals
- Fragile measurability
- Canonical seeds and Prikry trees
- Laver sequences for extendible and super-almost-huge cardinals
- On strong compactness and supercompactness
- The least measurable can be strongly compact and indestructible
- On certain indestructibility of strong cardinals and a question of Hajnal
- Destruction or preservation as you like it
- Laver indestructibility and the class of compact cardinals
- Patterns of compact cardinals
Cited In (61)
- 2007 European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '07
- Blowing up the power set of the least measurable
- Club stationary reflection and other combinatorial principles at \(\aleph_{ \omega +2}\)
- MORE ON THE PRESERVATION OF LARGE CARDINALS UNDER CLASS FORCING
- The Lucky Tickets
- Characterizations of the weakly compact ideal on \(P_\kappa\lambda\)
- Indestructibility of Vopěnka's principle
- A universal indestructibility theorem compatible with level by level equivalence
- Some remarks on indestructibility and Hamkins' lottery preparation
- Absoluteness via resurrection
- Universal indestructibility for degrees of supercompactness and strongly compact cardinals
- On some properties of Shelah cardinals
- A Laver-like indestructibility for hypermeasurable cardinals
- Strongly uplifting cardinals and the boldface resurrection axioms
- Inner models with large cardinal features usually obtained by forcing
- 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
- INDESTRUCTIBILITY WHEN THE FIRST TWO MEASURABLE CARDINALS ARE STRONGLY COMPACT
- Indestructible strong compactness but not supercompactness
- 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
- Mixed levels of indestructibility
- Preparation
- The weakly compact reflection principle need not imply a high order of weak compactness
- The failure of GCH at a degree of supercompactness
- Large cardinals and definable well-orders on the universe
- Local saturation of the non-stationary ideal over \(\mathcal P_{\kappa}\lambda\)
- 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
- Indestructibility and destructible measurable cardinals
- Resurrection axioms and uplifting cardinals
- Large cardinals need not be large in HOD
- Strongly unfoldable cardinals made indestructible
- The least weakly compact cardinal can be unfoldable, weakly measurable and nearly \(\theta\)-supercompact
- Indestructibility and the level-by-level agreement between strong compactness and supercompactness
- Inner-model reflection principles
- Superstrong and other large cardinals are never Laver indestructible
- On extendible cardinals and the GCH
- On supercompactness and the continuum function
- Diamond (on the regulars) can fail at any strongly unfoldable cardinal
- Laver and set theory
- Indestructible strong unfoldability
- Set-theoretic geology
- Indestructible strong compactness and level by level inequivalence
- Strongly compact cardinals and the continuum function
- On spaces with \(\sigma\)-closed-discrete dense sets
- Identity crises and strong compactness. III: Woodin cardinals
- Hierarchies of forcing axioms, the continuum hypothesis and square principles
- Tall cardinals
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)
