Indestructibility properties of remarkable cardinals (Q892148)

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.