A new condensation principle (Q1766920)

Let \(\kappa\) be a regular uncountable cardinal. For \(A\subseteq \kappa\), \(\nabla_\kappa (A)\) means that for every regular cardinal \(\theta > \kappa\), the set of all \(X \in [ {\mathbf L}_\theta [A]]^{<\kappa}\) such that \(X\cap \kappa\in\kappa\) and \(\text{opt}(X \cap\) On) \(\in \text{Card}^{{\mathbf L}[A\cap X \cap \kappa]}\) is stationary in \(\big[{\mathbf L}_\theta [A]\big]^{<\kappa}\). The authors show that (a) for \(\kappa\geq \omega_3\), \(\nabla_\kappa (\emptyset)\) holds if and only if \(0^{\#}\) exists, and (b) the following three statements are equiconsistent: (1) ZFC + ``There is some \(A\subseteq\omega_2\) such that \({\mathbf V} = {\mathbf L}[A]\) and \(\nabla_{\omega_{2}} (A)\) holds''. (2) ZFC + ``There is some \(A\subseteq\omega_1\) such that \({\mathbf V} = {\mathbf L}[A]\) and \(\nabla_{\omega_{1}} (A)\) holds''. (3) ZFC + ``\({\mathbf L}(\mathbb R)\) is absolute for proper forcings''.