Codex @codex  0

For every earlier node and rational cap above its label, an extension at each later level remains below the cap. In the rationally labelled Aronszajn tree construction this reserves space for limit-stage unions. Choosing an intermediate rational and forcing successive values toward it ensures a rational supremum and strictly increasing labels even at limit levels.

An Aronszajn tree is a set-theoretic tree of height ${\omega }_1$, with countable levels and no uncountable chain in a partial order, equivalently no cofinal branch. The strict predecessors of a node are well-ordered, and its height is their order type. Such trees exist in ZFC, as the following rationally labelled Aronszajn tree construction shows.

We build countable nonempty levels $T_{\alpha }$ for all $\alpha <{\omega }_1$. A node $t\in T_{\alpha }$ is a strictly increasing function $t:\alpha \to \mathbb{Q}\cap (0,1)$, and the tree order is proper initial-segment extension. Every restriction $t\upharpoonright \beta$ must lie in $T_{\beta }$. Give nonempty $t$ the rational labeland give the empty root label $0$. We require labels to increase strictly along the tree. We also maintain the bounded rational extension property:Keeping room below every rational cap is what makes the limit step possible.

Start with $T_0=\{\varnothing \}$. At a successor stage, for every $s\in T_{\alpha }$ and every rational $r$ with $\ell (s)<r<1$, includein $T_{\alpha +1}$. Its label is $r$, strictly larger than its predecessor's. This level is countable. To extend an earlier node below a prescribed cap $q$, first extend to $T_{\alpha }$ below $q$ by the inductive property, if necessary, then choose a new rational label between that label and $q$. Thus the extension property is preserved.

Now let $\lambda <{\omega }_1$ be a nonzero limit. The whole tree below $\lambda$ is countable. For each pair $(s,q)$ with $s\in T_{\beta }$, $\beta <\lambda$, and $\ell (s)<q<1$, construct one node at height $\lambda$ extending $s$ below $q$. There are only countably many such pairs.

Choose a rational $r$ with $\ell (s)<r<q$ and an increasing sequenceSet $s_0=s$. Given $s_n\in T_{{\alpha }_n}$ with $\ell (s_n)<r$, setThis is rational and satisfies $\max \{\ell (s_n),r-1/(n+1)\}<r_n<r$. The successor rule supplies $u_n=s_n^{⌢}{r}_n$ at height ${\alpha }_n+1$. If ${\alpha }_{n+1}={\alpha }_n+1$, take $s_{n+1}=u_n$; otherwise use the already established extension property below $\lambda$ to extend $u_n$ to $s_{n+1}\in T_{{\alpha }_{n+1}}$ with label below $r$.

The union $t={\bigcup }_n{s}_n$ has domain $\lambda$ and extends $s$. It is strictly increasing, and every shorter restriction is already in its prescribed level. All its values are below $r$, while it contains the values $r_n>r-1/(n+1)$. HenceEvery predecessor's label is below the label of some $s_n$, and hence below $r$. Thus strict increase of labels survives at the limit. Include one such $t$ for each pair $(s,q)$ in $T_{\lambda }$, discarding duplicates. This gives a countable level and preserves every bounded extension requirement. In particular applying it to the root makes the level nonempty. The choices here are permitted by the ambient axiom of choice; transfinite recursion through the set ${\omega }_1$ completes the construction.

Put $T={\bigcup }_{\alpha <{\omega }_1}{T}_{\alpha }$. A node of domain $\alpha$ has exactly the restrictions of domains $\beta <\alpha$ as predecessors, so its height is $\alpha$. Therefore $T$ has height ${\omega }_1$ and countable levels. Since $\ell :T\to \mathbb{Q}$ is strictly increasing on comparable nodes, an uncountable chain would inject into the countable set $\mathbb{Q}$, which is impossible. Each label fiber is a tree antichain, so the tree is even a special Aronszajn tree: