Random trees under CH (Q877469): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Import240304020342 (talk | contribs)
Set profile property.
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank

Revision as of 02:29, 5 March 2024

scientific article
Language Label Description Also known as
English
Random trees under CH
scientific article

    Statements

    Random trees under CH (English)
    0 references
    0 references
    23 April 2007
    0 references
    The \(P\)-ideal dichotomy (abbreviated as PID) asserts that, for any \(P\)-ideal \(J\) of countable subsets of \(\omega_1,\) either there is an uncountable subset \(Y\) of \(\omega_1\) with \(\{A\subseteq Y : | A| \leq\aleph_0\}\subseteq J\) or we can write \(\omega_1 = \bigcup_{n\in\omega}X_n,\) where \(| B\cap X_n| <\aleph_0\) for all \(n\in\omega\) and all \(B\in J.\) PID\('\) is a variant of PID asserting that for any \(P\)-ideal \(J\) of countable subsets of \(\omega_1\) there is either a closed uncountable subset \(Y\) of \(\omega_1\) with \(\{A\subseteq Y : | A| \leq\aleph_0\}\subseteq J\) or a stationary subset \(X\) of \(\omega_1\) such that \(| B\cap X| <\aleph_0\) for all \(B\in J.\) The author proves that PID\('\) is a consequence of PFA and that it is equiconsistent with ZFC. Moreover, he shows that PID (respectively, PID\('\)) implies that Souslin's hypothesis holds (respectively, all Aronszajn trees are special) in any forcing extension by a measure algebra.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    measure algebra
    0 references
    Souslin's hypothesis
    0 references
    Aronszajn trees
    0 references
    P-ideal dichotomy
    0 references