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

From MaRDI portal
Revision as of 11:57, 6 June 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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
    Aronszajn tree
    0 references
    Suslin hypothesis
    0 references
    proper forcing
    0 references
    continuum hypothesis
    0 references

    Identifiers