The diamond principle for the uniformity of the meager ideal implies the existence of a destructible gap (Q2388430)

Say an \((\omega_1 , \omega_1)\)-gap \(({\mathcal A}, {\mathcal B})\) is destructible if there is an \(\aleph_1\)-preserving forcing extension in which \(({\mathcal A}, {\mathcal B})\) is not a gap. Otherwise \(({\mathcal A}, {\mathcal B})\) is called indestructible. Indestructible gaps exist while the existence of destructible gaps is independent of ZFC. Let \({\mathcal M}\) denote the meager ideal in the Baire space \(\omega^\omega\). Call \(F: 2^{< \omega_1} \to A\) Borel if its restrictions to \(2^\delta\), \(\delta < \omega_1\), are Borel. The parametrized diamond principle \(\diamondsuit ({\text{non}} ({\mathcal M}))\) for the uniformity of the meager ideal, introduced by \textit{J. T. Moore, M. Hrusák} and \textit{M. Dzamonja} [Trans. Am. Math. Soc. 356, 2281--2306 (2004; Zbl 1053.03027)], asserts that for all Borel functions \(F: 2^{< \omega_1} \to {\mathcal M}\) there is \(g: \omega_1 \to \omega^\omega\) such that for all \(f: \omega_1 \to 2\) the set \(\{ \alpha : g (\alpha) \notin F(f \upharpoonright \alpha) \}\) is stationary. The author proves that \(\diamondsuit ({\text{non}} ({\mathcal M}))\) implies the existence of a destructible gap, thus answering a question from the work of Moore et al. [loc. cit.] and pursuing the analogy between Suslin trees and destructible gaps for Moore et al. [loc. cit.] have shown that \(\diamondsuit ({\text{non}} ({\mathcal M}))\) implies the existence of a Suslin tree. For closely related results of the author's see J. Math. Soc. Japan 57, 1217--1228 (2005; Zbl 1083.03043).