MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I think that in all classical models of TP($\omega_2$) we have $2^{\omega_0}=\omega_2$. Is there a known model of TP($\omega_2$) + $2^{\omega_0}>\omega_2$ at all?

share|cite|improve this question
What is $TP(\omega_2)$? – Andreas Blass Mar 14 '12 at 18:36
It would seem to be the tree property: every $\omega_2$-tree has an $\omega_2$-branch. – Joel David Hamkins Mar 14 '12 at 22:15
Yes, I meant the tree property, sorry! – Ajdin Halilovic Mar 15 '12 at 11:36
up vote 8 down vote accepted

I think Spencer Unger in "Fragility and indestructibility of the tree property" proves that if one adds an arbitrary number of Cohen reals to Mitchell's model, then the tree property survives (see

share|cite|improve this answer
Thank you very much for the answer! – Ajdin Halilovic Mar 15 '12 at 15:03

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.