The Proper Forcing Axiom (PFA) implies that every forcing which adds a subset of $\omega_1$ either adds a real or collapses $\omega_2$. Is it consistent that every forcing which adds a subset of $\omega_2$ either adds a subset of $\omega_1$ or collapses $\omega_3$?

$\begingroup$ I think this result is due to Todorcevic, Some Combinatorial Properties of Trees (answering a question of Abraham from his PhD thesis about whether the negation of the first statement in the question is true in ZFC), where he shows that this follows from the conjunction of $2^{\aleph_0}= \aleph_2$ and every $\omega_1$tree of size $\aleph_1$ is essentially special. This is Theorem 2. The proof seems like it might be helpful here too. $\endgroup$– tciApr 25, 2016 at 23:26

1$\begingroup$ For example if we could show that it is consistent that every $\omega_2$tree of size $\aleph_2$ is $\omega_1$essentially special and $2^{\aleph_1}=\aleph_3$, it seems like this might give the consistency of the statement you are interested in. $\endgroup$– tciApr 25, 2016 at 23:28

$\begingroup$ The paper Two applications of finite side conditions on $\omega_2$ by Neeman also seems to be relevant. See the discussion starting at the bottom of the second page. He considers the problem of adding some sort of specialising function for a single $\omega_2$tree, and already here there are complications, persistent counterexamples etc. $\endgroup$– tciApr 26, 2016 at 1:50
1 Answer
Yes, it is consistent. The following theorem is proved by Shelah and myself (our paper is not yet complete):
Theorem. Assume $\kappa$ is weakly compact and $\lambda > \kappa$ is 2Mahlo. Then there is a generic extension in which $\kappa=\aleph_2, 2^{\aleph_1}=\aleph_3=\lambda$ and any forcing notion which adds new subset to $\aleph_2$, collapses $\aleph_2$ or $\aleph_3.$
Unfortunately the proof is not so easy to state it here.
Note that by a new subset to $\aleph_2$ I mean a subset of $\aleph_2$ which is not in $V$, the ground model, but such that all its initial segments are in $V$.
Remark. It is evident that the above theorem gives the consistency of the requested question. If the forcing does not add subsets to $\aleph_1,$ then it adds new subsets to $\aleph_2$ so the theorem applies.
Added note: The paper is now available at Specializing trees and answer to a question of Williams.


$\begingroup$ Adding a Cohen real adds a new subset of $\omega_2$. $\endgroup$ Apr 26, 2016 at 3:08

$\begingroup$ By a new subset to $\aleph_2$ I mean all its initial segments are in the ground model. $\endgroup$ Apr 26, 2016 at 3:15

$\begingroup$ Your question follows from the above mentioned theorem. If the forcing adds no new subsets to $\aleph_1,$ then forcing adds a new subset to $\aleph_2$ so the theorem applies. $\endgroup$ Apr 26, 2016 at 3:19

$\begingroup$ @MohammadGolshani Do you also get this via not having nonspecial $\omega_2$trees like Todorcevic? $\endgroup$– tciApr 26, 2016 at 3:22