SH plus CH does not imply stationary antichains. (Q1412838)

From MaRDI portal
scientific article
Language Label Description Also known as
English
SH plus CH does not imply stationary antichains.
scientific article

    Statements

    SH plus CH does not imply stationary antichains. (English)
    0 references
    0 references
    25 November 2003
    0 references
    Let CH denote the continuum hypothesis, SH Suslin's hypothesis, KH Kurepa's hypothesis, and NSA the statement asserting the existence of an Aronszajn tree in which every antichain \({\mathcal A}\) has the property that \(\{rk(x):x\in{\mathcal A}\}\) is a nonstationary subset of \(\omega_1\). In ``Suslin's hypothesis does not imply stationary antichains'' [Ann. Pure Appl. Logic 64, No. 2, 153--167 (1993; Zbl 0805.03037)] the author established the consistency of ``SH+NSA+not CH''. In the present paper he proves the consistency of ``SH+NSA+CH''. The author points out that ``It appears that it would be quite straightforward to combine the ideas of [\textit{C. Schlindwein}, ``Special non-special \(\aleph_1\)-trees'', Lect. Notes Math. 1401, 160--166 (1989; Zbl 0694.03032)] to obtain a model of SH plus CH plus NSA plus not KH.''
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    Aronszajn tree
    0 references
    Suslin hypothesis
    0 references
    proper forcing
    0 references
    continuum hypothesis
    0 references