Non-special Aronszajn trees on _ +1

From MaRDI portal
Publication:1821774





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.











This page was built for publication: Non-special Aronszajn trees on \(\aleph _{\omega +1}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1821774)