Non-special Aronszajn trees on \(\aleph _{\omega +1}\) (Q1821774)

This paper continues the investigation of trees of height \(\lambda^+\) and combinatorial principles related to \(\square_{\lambda}\), when \(\lambda\) is a singular strong limit cardinal with \(2^{\lambda}=\lambda^+.\) It is shown that if there is a \(\lambda^+\)-special Aronszajn tree, then there is also a \((\lambda^+,\infty)\)-distributive Aronszajn tree. This contruction uses a modified \(\square_{\lambda}\) sequence with built-in diamond, which exists under these hypotheses by work of \textit{U. Avraham}, \textit{S. Shelah} and \textit{R. M. Solovay} [Fundam. Math. 127, 133-162 (1986)]. Forcing with such a tree cannot collapse \(\lambda^+\), hence it cannot be a \(\lambda^+\)-special Aronszajn tree.