Remarkable cardinals were introduced by Schindler, who showed that the existence of a remarkable cardinal is equiconsistent with the assertion that the theory of 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 -closed -distributive forcing and all two-step iterations of the form ${\rm Add}(\kappa,\theta)*\dot{\mathbb R}\dot{\mathbb R}\lt\kappa\leq\kappa$-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 .

生成讲解博客的中文版本

生成AI智能校验的中文版本