For many years I had the idea that if a well-founded tree is both very tall and very narrow, then it must have a cofinal branch. For example, it is a fun exercise to show that any $\omega_1$-tree with all levels finite has a cofinal branch. A similar fact holds also for much taller trees with all levels finite. I used to think that such a phenomenon might hold even more generally, for trees that are much taller than they are wide, although not necessarily finite. But after a conversation this evening with some other set theorists, I am less sure. And so I ask for a counter-example:

**Question.** Is it (relatively) consistent with ZFC that there is a tree of height $\omega_2$ with all levels countable, with no cofinal branches?

More generally, under what circumstances can we have very tall trees with very small levels, but no cofinal branch? What general theorems about this are available? In what cases are there provable instances where there is a cofinal branch for tall narrow trees?

(Incidentally, I think it would be fine as a warm-up if someone were to post a solution to the fun exercise I mention, that is, that every tree of height $\omega_1$ and all levels finite has a cofinal branch; or some generalization of this. What is the best way to see it?)

8more comments