Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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|improve this question
1  
What is $TP(\omega_2)$? –  Andreas Blass Mar 14 '12 at 18:36
1  
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
add comment

1 Answer 1

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 http://www.math.cmu.edu/~sunger/).

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

Your Answer

 
discard

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.