Superdestructibility: a dual to Laver indestructibility
英文摘要：
After small forcing, any < kappa-closed forcing will destroy the supercompactness, even the strong compactness, of kappa .
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
相关论文
Indestructibility and the level-by-level agreement between strong compactness and supercompactness
Can a supercompact cardinal kappa be Laver indestructible when there is a level-by-level agreement between strong compactness and supercompactness? In this article, we show that if there is a sufficiently large cardinal above kappa, then no, it cannot. Conversely, if one weakens the requirement either by demanding less indestructibility, such as requiring only indestructibility by stratified posets, or less level-by-level agreement, such as requiring it only on measure one sets, then yes, it can.
math.LO
Destruction or Preservation As You Like It
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 Lave…
math.LO
Indestructibility properties of remarkable cardinals
Remarkable cardinals were introduced by Schindler, who showed that the existence of a remarkable cardinal is equiconsistent with the assertion that the theory of $L(\mathbb R)$ is absolute for proper forcing. Here, we study the indestructibility properties of remarkable cardinals. We show that if $κ$ is remarkable, then there is a forcing extension in which the remarkability of $κ$ becomes indestructible by all $\ltκ$-closed $\leqκ$-distributive forcing and all two-step iterations of the form ${\rm Add}(κ,θ)*\dot{\mathbb R}$, where $\dot{\mathbb R}$ is forced to be $\ltκ$-closed and $\leqκ$-di…
math.LO
Chang's conjecture may fail at supercompact cardinals (submitted)
We prove a revised version of Laver's indestructibility theorem which slightly improves over the classical result. An application yields the consistency of $(κ^+,κ)\notcc(\aleph\_1,\aleph\_0)$ when $κ$ is supercompact. The actual proofs show that $ω\_1$-regressive Kurepa-trees are consistent above a supercompact cardinal even though ${\rm MM}$ destroys them on all regular cardinals. This rather paradoxical fact contradicts the common intuition.
math.LO
