Destruction or preservation as you like it

DOI10.1016/S0168-0072(97)00044-4zbMATH Open0949.03047arXiv1607.00683MaRDI QIDQ1295367FDOQ1295367

Joel David Hamkins

Publication date: 24 June 1999

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Abstract: The Gap Forcing Theorem, a key contribution of this paper, implies essentially that after any reverse Easton iteration of closed forcing, such as the Laver preparation, every supercompactness measure on a supercompact cardinal extends a measure from the ground model. Thus, such forcing can create no new supercompact cardinals, and, if the GCH holds, neither can it increase the degree of supercompactness of any cardinal; in particular, it can create no new measurable cardinals. In a crescendo of what I call exact preservation theorems, I use this new technology to perform a kind of partial Laver preparation, and thereby finely control the class of posets which preserve a supercompact cardinal. Eventually, I prove the `As You Like It' Theorem, which asserts that the class of $<kappa$-directed closed posets which preserve a supercompact cardinal $kappa$ can be made by forcing to conform with any pre-selected local definition which respects the equivalence of forcing. Along the way I separate completely the levels of the superdestructibility hierarchy, and, in an epilogue, prove that the notions of fragility and superdestructibility are orthogonal---all four combinations are possible.

Full work available at URL: https://arxiv.org/abs/1607.00683

Recommendations

• Small forcing makes any cardinal superdestructible
• Superdestructibility: A dual to Laver's indestructibility
• Fragile measurability

zbMATH Keywords

fragilitysupercompact cardinalindestructibilitygap forcingpartial Laver preparationsuperdestructibility hierarchy

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55)

Cites Work

• Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Fragile measurability
• Canonical seeds and Prikry trees
• Superdestructibility: A dual to Laver's indestructibility
• Small forcing makes any cardinal superdestructible
• Laver indestructibility and the class of compact cardinals

Cited In (14)

• Destroy to save
• Gap Forcing: Generalizing the Lévy-Solovay Theorem
• On some properties of Shelah cardinals
• The lottery preparation
• Gap forcing
• Exactly controlling the non-supercompact strongly compact cardinals
• Removing Laver functions from supercompactness arguments
• The large cardinals between supercompact and almost-huge
• Large cardinals need not be large in HOD
• Indestructibility and the level-by-level agreement between strong compactness and supercompactness
• Supercompactness and measurable limits of strong cardinals
• Some structural results concerning supercompact cardinals
• Tall cardinals
• On measurable limits of compact cardinals

This page was built for publication: Destruction or preservation as you like it

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1295367)