\(\clubsuit\)-like principles under CH (Q2773249)

Let \(C\) be the set of countable limits of countable limit ordinals. The principle \(\diamondsuit^p\) asserts the existence of \(s^n_\alpha\subseteq \alpha\) for \(\alpha\in C\) and \(n\in\omega\) such that (a) \(|s^{n+1}_\alpha- \sup s^n_\alpha|= \aleph_0\), (b) \(\sup\bigcup_{n\in\omega} s^n_\alpha= \alpha\), and (c) the set of all \(\alpha\in C\) such that \(|\{n\in\omega: A\cap \sup s^n_\alpha= s^n_\alpha\}|= \aleph_0\) is stationary in \(\omega_1\) for every unbounded subset \(A\) of \(\omega_1\). It is shown that \(\diamondsuit^p\) is strictly stronger than CH (in fact \(\diamondsuit^p\) implies the existence of a Suslin tree) but strictly weaker than \(\diamondsuit\) (since adding a single Cohen real to a model of CH makes \(\diamondsuit^p\) true).