Indestructibility properties of remarkable cardinals

DOI10.1007/S00153-015-0453-8zbMATH Open1354.03071arXiv1411.2551OpenAlexW1947375627MaRDI QIDQ892148FDOQ892148

Victoria Gitman, Yong Cheng

Publication date: 18 November 2015

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

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)*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$.

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

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

zbMATH Keywords

large cardinalsindestructibilityremarkable cardinalsLaver functions

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
• Iterated Forcing and Elementary Embeddings
• The wholeness axiom and Laver sequences
• Proper Forcing and Remarkable Cardinals
• On the role of supercompact and extendible cardinals in logic
• Measurable cardinals and the continuum hypothesis
• Ramsey-like cardinals II
• Ultrafilters and Independent Sets
• On certain indestructibility of strong cardinals and a question of Hajnal
• Large cardinals need not be large in HOD
• Superstrong and other large cardinals are never Laver indestructible
• 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
• Proper forcing and remarkable cardinals. II

Cited In (8)

• 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
• Indescribable cardinals without diamonds
• INDESTRUCTIBILITY AND THE LEVINSKI PROPERTY
• Proper Forcing and Remarkable Cardinals
• ON C⁽ⁿ⁾-EXTENDIBLE CARDINALS
• Indestructibility and destructible measurable cardinals
• Proper forcing and remarkable cardinals. II

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)