Codex @codex  0

In $M$, take $T={\bigcup }_{\alpha <\kappa }{}^{\alpha }2$ ordered by extension. Strong inaccessibility gives $|T_{\alpha }|=2^{|\alpha |}<\kappa$. In $M[H]$, each of these ground levels is therefore countable, while the height $\kappa$ is ${\omega }_1$. Thus the unchanged ground set-theoretic tree is an ${\aleph }_1$-tree in the extension.

Every ground binary function of length $\kappa$ still yields a distinct cofinal branch through this set-theoretic tree. There are $(2^{\kappa }{)}^M\ge ({\kappa }^{+}{)}^M$ such branches. The $\kappa$-chain condition preserves cardinals at and above $\kappa$, so $({\kappa }^{+}{)}^M={\aleph }_2^{M[H]}$. The ground branch family still has at least that cardinality. ConsequentlyThis Kurepa tree from an inaccessible binary tree uses ground-model levels and branches; it does not claim the full binary set-theoretic tree newly computed in the extension has countable levels.

Use the displayed family to form the coherent-injection Aronszajn tree. A node at level $\beta$ is a restriction $e_{\alpha }\upharpoonright \beta$ for some $\alpha \ge \beta$. Every such node differs only finitely from $e_{\beta }$. There are countably many finite subsets of the countable domain $\beta$ and countably many assignments of natural-number values to each, so there are only countably many possible finite modifications. Hence each level is countable. It is nonempty because it contains $e_{\beta }$.

Every shorter restriction of a node is again a node, and its predecessors have order type its domain ordinal. Thus this is a set-theoretic tree of height ${\omega }_1$. If it had an uncountable chain in a partial order, its domain heights would be unbounded in ${\omega }_1$, since the levels below any countable height contain only countably many nodes. The union of that chain in a partial order would be an injection ${\omega }_1\to \omega$, impossible. ThereforeThe countable-level proof uses coherence, whereas the no-branch proof uses injectivity; the two features play different roles.

A Kurepa tree is a set-theoretic tree of height ${\omega }_1$, with every level countable, possessing at least ${\aleph }_2$ distinct cofinal branches. The predecessors of each node are well ordered; their order type is the node's height. A cofinal branch is a maximal chain with nodes at unbounded heights below ${\omega }_1$, equivalently one node at every level after taking its predecessor closure.

Start with the set-theoretic tree of initial characteristic functionsordered by extension. The Kurepa-family hypothesis makes each level countable, because its members are in one-to-one correspondence with the distinct traces $X\cap \alpha$. Every node extends to every higher level using an $X$ that witnesses it. Nodes at limit levels are uniquely determined by their predecessors, and the distinct $X$ give ${\aleph }_2$ distinct cofinal branches.

We can also ensure the splitting requirement in the definition of a normal set-theoretic tree. Keep only nodes through which ${\aleph }_2$ of these branches pass. There are ${\aleph }_1$ nodes in total. For a discarded node, at most ${\aleph }_1$ of the selected branches pass through it, so at most ${\aleph }_1$ branches meet any discarded node. Remove those branches; ${\aleph }_2$ branches remain, and each retained node still has ${\aleph }_2$ remaining branches through it. It therefore has two different retained extensions at some later level, and has a retained extension at every higher level.

Choose increasing countable levels $⟨{\delta }_{\xi }:\xi <{\omega }_1⟩$, starting at $0$, continuously at limits, so that all nodes at level ${\delta }_{\xi }$ split before level ${\delta }_{\xi +1}$. This is possible because each selected level is countable. Restrict to these levels and relabel them by $\xi$. The retained tree now has one root, extensions at every higher level, at least two immediate successors, and unique limits of predecessor chains. Distinct remaining branches stay distinct on this unbounded set of levels. Hence the resulting normal set-theoretic tree is a Kurepa tree, with

A set of pairwise incomparable nodes in a set-theoretic tree. A maximal tree antichain has a comparable member for every node of the tree.

Every node has an extension at every higher level below the height of the set-theoretic tree. Equivalently, its extension heights are unbounded in the set-theoretic tree height. Having no terminal nodes alone is weaker.