13
$\begingroup$

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

Improve this question
$\endgroup$
8
  • $\begingroup$ What's a weak Kurepa tree? $\endgroup$
    – Paul McKenney
    Sep 10, 2015 at 17:27
  • 1
    $\begingroup$ 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. $\endgroup$
    – Monroe Eskew
    Sep 10, 2015 at 17:43
  • $\begingroup$ Canadian trees? $\endgroup$
    – Asaf Karagila ♦
    Sep 10, 2015 at 19:52
  • 4
    $\begingroup$ This says it is a pun too awful to mention. $\endgroup$
    – Miha Habič
    Sep 10, 2015 at 21:08
  • 1
    $\begingroup$ Incorrect. There is an $\omega_2$-Aronszajn tree in $L$. $\endgroup$
    – Monroe Eskew
    Oct 16, 2015 at 23:21

2 Answers 2

Reset to default
13
$\begingroup$

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.

Improve this answer
$\endgroup$
0
6
$\begingroup$

The answer to your question is yes. During the "IPM conference on set theory and model theory" James cummings gave me the basic idea of the proof of the following theorem:

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.

Improve this answer
$\endgroup$
5
  • $\begingroup$ Though the proof is not really difficult, but I think it is better we wait for a published version of Cummings work. $\endgroup$
    – Mohammad Golshani
    Oct 18, 2015 at 12:12
  • 1
    $\begingroup$ Mohammad, thanks for this information. Given that these publications usually take a long time to come out, could you post a rough sketch of the idea? $\endgroup$
    – Monroe Eskew
    Oct 18, 2015 at 13:30
  • $\begingroup$ 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? $\endgroup$
    – Monroe Eskew
    Jan 16, 2016 at 23:46
  • $\begingroup$ @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. $\endgroup$
    – Mohammad Golshani
    Jan 17, 2016 at 5:48
  • $\begingroup$ It seems like the hard part would be showing that the tree property on $\aleph_2$ is preserved. $\endgroup$
    – Monroe Eskew
    Jan 17, 2016 at 18:10

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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