5
$\begingroup$

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?

$\endgroup$
3
  • 1
    $\begingroup$ What is $TP(\omega_2)$? $\endgroup$ Mar 14, 2012 at 18:36
  • 1
    $\begingroup$ It would seem to be the tree property: every $\omega_2$-tree has an $\omega_2$-branch. $\endgroup$ Mar 14, 2012 at 22:15
  • $\begingroup$ Yes, I meant the tree property, sorry! $\endgroup$ Mar 15, 2012 at 11:36

1 Answer 1

8
$\begingroup$

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/).

$\endgroup$
0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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