Random trees under CH (Q877469)

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.