# tree properties on $\omega_1$ and $\omega_2$

Are the following mutually consistent (relative to large cardinals)?

(1) There are no $\omega_2$-Aronszajn trees.

(2) There is an $\omega_1$-Kurepa tree.

In the models I know of the tree property at $\omega_2$, it also holds that there are no weak Kurepa trees on $\omega_1$ (also called Canadian trees).

• What's a weak Kurepa tree? Sep 10, 2015 at 17:27
• It's a tree of height $\omega_1$ and levels of size at most $\omega_1$ with at least $\omega_2$ branches. Obviously they exist under CH. Sep 10, 2015 at 17:43
• Canadian trees? Sep 10, 2015 at 19:52
• This says it is a pun too awful to mention. Sep 10, 2015 at 21:08
• Incorrect. There is an $\omega_2$-Aronszajn tree in $L$. Oct 16, 2015 at 23:21

Theorem. Assuming the existence of a weakly compact cardinal, it is consistent that there exists a Kurepa tree and tree property at $\aleph_2$ holds.
• Any update? Does this use a new method for the tree property at $\omega_2$ or is the key a new method for forcing Kurepa trees? Jan 16, 2016 at 23:46
• @MonroeEskew I have no idea if there is preprint available, but the fact is that the proof if not really difficult. It is simply the product of Mitchell forcing and (a modified version of the) forcing to add a Kurepa tree with $\kappa$-many branches, where $\kappa$ is the weakly compact we start at the beginning. Jan 17, 2016 at 5:48
• It seems like the hard part would be showing that the tree property on $\aleph_2$ is preserved. Jan 17, 2016 at 18:10