The Ostaszewski square and homogeneous Souslin trees (Q2017149)

The author shows that if for an uncountable cardinal~\(\lambda\) both \(\square_\lambda\) and~\(2^\lambda=\lambda^+\) hold then one can construct a \(\square_\lambda\)-sequence \(\langle C_\alpha:\alpha<\lambda^+\rangle\) that behaves much like a \(\clubsuit\)-sequence (hence the `Ostaszewski square' in the title): given a sequence \(\langle A_i:i<\lambda\rangle\) of unbounded subsets of~\(\lambda^+\) and a limit~\(\theta\) below~\(\lambda\) there is \(\alpha<\lambda^+\) such that \(C_\alpha\)~has order type~\(\theta\) and for every~\(i<\theta\) the \(i+1\)st element of~\(C_\alpha\) belongs to~\(A_i\). Much as in the `classical' case of~\(\clubsuit\) on~\(\omega_1\) there are equivalent variations that are formally stronger or weaker, and also versions of~\(\diamondsuit\) that may be built into the~\(\square_\lambda\)-sequence. As an application, the author constructs homogeneous \(\lambda^+\)-Souslin trees for singular~\(\lambda\).