Random trees under CH (Q877469): Difference between revisions
From MaRDI portal
Latest revision as of 17:54, 25 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Random trees under CH |
scientific article |
Statements
Random trees under CH (English)
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
measure algebra
0 references
Souslin's hypothesis
0 references
Aronszajn trees
0 references
P-ideal dichotomy
0 references