Indestructibility properties of remarkable cardinals

DOI10.1007/S00153-015-0453-8MaRDI QIDQ892148zbMATH OpenOpenAlexFDO

Authors Yong Cheng, Victoria Gitman

Publication date 18 November 2015

Published in Archive for Mathematical Logic (Search for Journal in Brave)

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

zbMATH Keywords

indestructibilitylarge cardinalsLaver functionsremarkable cardinals

Mathematics Subject Classification ID

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

Abstract: 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(mathbbR)$ is absolute for proper forcing. Here, we study the indestructibility properties of remarkable cardinals. We show that if $kappa$ is remarkable, then there is a forcing extension in which the remarkability of $kappa$ becomes indestructible by all $ltkappa$-closed $leqkappa$-distributive forcing and all two-step iterations of the form $mAdd(kappa,heta)\ast dotmathbbR$, where $dotmathbbR$ is forced to be $ltkappa$-closed and $leqkappa$-distributive. In the process, we introduce the notion of a remarkable Laver function and show that every remarkable cardinal carries such a function. We also show that remarkability is preserved by the canonical forcing of the $mGCH$.

Review text

A cardinal \(\kappa\) is \textit{remarkable} if in the \(\mathrm{Coll}(\omega, < \kappa)\) forcing extension \(V[G]\), for any regular cardinal \(\lambda > \kappa\), there is a \(V\)-regular cardinal \(\tau < \kappa\) and \(j : H^V_\tau \rightarrow H^V_\lambda\) with critical point \(\gamma\) such that \(j (\gamma) = \kappa\). It is shown that (a) if \(\kappa\) is remarkable, then there is a forcing extension in which the remarkability of \(\kappa\) becomes indestructible by all \(<\kappa\) -closed \(\leq \kappa\) -distributive forcing notions, and by all two-step iterations of the form \(\mathrm{Add}(\kappa, \theta) \star \dot{\mathbb{R}}\), where \(\dot{\mathbb{R}}\) is forced to be \(<\kappa\)-closed and \(\leq \kappa\)-distributive, and (b) if \(\kappa\) is remarkable, then its remarkability is preserved in any forcing extension by the canonical forcing of the GCH (i.e. the ORD-length Easton-support iteration \(\mathbb{P}\) that forces with \(\mathrm{Add}(\xi^+, 1)^{V^{\mathbb{P}_\xi}}\) at stages \(\xi\) whenever \(\xi\) is a cardinal in \(V^{\mathbb{P}_\xi}\)). One application is that it is consistent to realize any possible pattern of the power function above a remarkable cardinal. Another one is that a remarkable cardinal need not be weakly compact in HOD.

Recommendations

• Proper forcing and remarkable cardinals. II
• Strongly unfoldable cardinals made indestructible
• Proper Forcing and Remarkable Cardinals
• Superstrong and other large cardinals are never Laver indestructible
• Indestructibility and destructible measurable cardinals

Cites work

• Diamond (on the regulars) can fail at any strongly unfoldable cardinal
• Indestructible strong unfoldability
• Infinity, computability and metamathematics. Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch
• Iterated forcing and elementary embeddings
• Large cardinals need not be large in HOD
• Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
• Measurable cardinals and the continuum hypothesis
• On certain indestructibility of strong cardinals and a question of Hajnal
• On the role of supercompact and extendible cardinals in logic
• Proper Forcing and Remarkable Cardinals
• Proper forcing and remarkable cardinals. II
• Ramsey-like cardinals. II.
• Superstrong and other large cardinals are never Laver indestructible
• The wholeness axiom and Laver sequences
• Ultrafilters and Independent Sets

Cited in

(11)

• On some properties of Shelah cardinals
• Indescribable cardinals without diamonds
• Indestructibility properties of Ramsey and Ramsey-like cardinals
• Proper forcing and remarkable cardinals. II
• Proper Forcing and Remarkable Cardinals
• ON C⁽ⁿ⁾-EXTENDIBLE CARDINALS
• Remarkable cardinals
• Generic Vopěnka's principle, remarkable cardinals, and the weak proper forcing axiom
• WEAKLY REMARKABLE CARDINALS, ERDŐS CARDINALS, AND THE GENERIC VOPĚNKA PRINCIPLE
• INDESTRUCTIBILITY AND THE LEVINSKI PROPERTY
• Indestructibility and destructible measurable cardinals

This page was built for publication: Indestructibility properties of remarkable cardinals

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