Non-special Aronszajn trees on \(\aleph _{\omega +1}\) (Q1821774)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Non-special Aronszajn trees on \(\aleph _{\omega +1}\) |
scientific article |
Statements
Non-special Aronszajn trees on \(\aleph _{\omega +1}\) (English)
0 references
1986
0 references
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.
0 references
relative strength
0 references
successors of singular cardinals
0 references
combinatorial principles
0 references
Aronszajn tree
0 references
diamond
0 references