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



tree properties on $\omega_1$ and $\omega_2$
I wrote a short note with the consistency proof, which can be found at <http://www.math.cmu.edu/users/jcumming/papers/kurepa/kurepa.pdf>. It is pretty rough, please tell me if there are problems.


