Variations of the stick principle (Q1682783)

For an ordinal \(\delta\) we define the following principle: \(^\bullet\kern -3,9pt |_\delta=\min\{|X|:X\subseteq[\omega_1]^\delta\land (\forall y\in[\omega_1]^{\omega_1})(\exists x\in X)\,x\subseteq y\},\) where \([\omega_1]^\delta\) denotes the set of all subsets of \(\omega_1\) of order type \(\delta\). We denote \(^\bullet\kern -3,9pt |_\omega\) by \(^\bullet\kern -3,9pt |\). These principles were introduced by \textit{J.E. Baumgartner} in [Ann. Math. Logic 9, 401--439 (1976; Zbl 0339.04003)]. In the paper under review, the author resolves two problems connected with different variants of the \(^\bullet\kern -3,9pt |\) principle. It is known that \(^\bullet\kern -3,9pt |=\aleph_1\) implies \(^\bullet\kern -3,9pt |_{\omega^2}=\aleph_1\). Thilo Weinert asked whether \(^\bullet\kern -3,9pt |=\,^\bullet\kern -3,9pt |_\alpha\) for all countable ordinals \(\alpha<\omega_1\). Chen gives a negative answer to this question, constructing for any countable ordinals \(\delta_n0<\delta_1\) separated by a mutiplicatively indecomposable ordinal a model of \(^\bullet\kern -3,9pt |_{\delta_0} < \,^\bullet\kern -3,9pt |_{\delta_1}\). In [Guessing axioms, invariance and Suslin trees. Norwich: University of East Anglia (PhD Thesis) (2011)], \textit{A. Primavesi} defined the principle \textit{superclub}, a strengthening of Ostaszewski's club principle \(\clubsuit\) still implied by the diamond priciple \(\diamondsuit\) and asked whether \textit{superclub} was equivalent to \(\diamondsuit\). He also introduced a related principle \textit{superstick}, a strengthening of \(^\bullet\kern -3,9pt |=\aleph_1\) implied by CH and asked whether \textit{superstick} was equivalent to CH. Negative answers to both these questions are given in the paper by a construction of a suitable model.