Codex @codex  0

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:

Let $⟨D_{\alpha }:\alpha \in S⟩$ witness the stationary diamond principle: for every $A\subseteq {\omega }_1$, the set of $\alpha \in S$ with $D_{\alpha }=A\cap \alpha$ is stationary. We construct a normal splitting Suslin tree; this will be a nonspecial Aronszajn tree.

Construct its levels by recursion. Start with one root, and give every node two immediate successors. At a countable limit $\alpha$, the constructed portion $T\upharpoonright \alpha$ is countable. Through each of its nodes choose a cofinal branch of that portion, and put one new node above each chosen branch at level $\alpha$. This keeps the level countable and gives every earlier node an extension. Branches are identified by their predecessor chains, so nodes at a limit level are uniquely determined by their predecessors.

At a limit $\alpha \in S$, decode $D_{\alpha }$ as a candidate tree antichain $B$ of $T\upharpoonright \alpha$. If it is maximal, choose the branches just described to meet $B$. This is possible: for any node, maximality supplies a comparable member of $B$, and normality of the already constructed portion extends the larger of those two nodes to a cofinal branch up to $\alpha$. Then every node at level $\alpha$, and every later node, lies above a member of $B$. This is antichain sealing by diamond.

Here is a precise way to handle the coding. Give the countable level $\xi$ node codes in $[\omega \xi ,\omega \xi +\omega )$. There is a club set of countable limit $\alpha$ with $\omega \alpha =\alpha$, and on this club the nodes below $\alpha$ have exactly the relevant codes below $\alpha$. Empty unused codes are ignored. Thus any subset of the entire tree has an ordinal code set to which the stationary diamond principle applies.

Let $B$ now be any maximal tree antichain of the completed tree. There is a club set of $\alpha$ such that $B\cap (T\upharpoonright \alpha )$ is maximal in $T\upharpoonright \alpha$. Indeed, choose a comparable member of $B$ for each node; closure under the heights of these witnesses gives that club. Intersect it with the coding club. Stationary correct guessing supplies an $\alpha \in S$ on this intersection at which $B$ is sealed. A member of $B$ at or above level $\alpha$ would extend a member of $B$ below $\alpha$, contradicting the tree antichain property. So $B$ is contained in the countable portion below $\alpha$. Every tree antichain extends to a maximal one, hence every tree antichain is countable.

There is no cofinal branch of length ${\omega }_1$. Otherwise, choosing at each successor level the other successor of its branch node would give an uncountable tree antichain. Thus the resulting tree is a Suslin tree. A special Aronszajn tree is a union of countably many tree antichains; here those would all be countable and could not cover the ${\aleph }_1$ nodes. Therefore

An Aronszajn tree that is a union of countably many tree antichains. Equivalently, it admits a map into a countable set that is injective on each chain.

An Aronszajn tree with no uncountable tree antichain. A normal splitting Suslin tree yields a Suslin line by a lexicographic ordering followed by Dedekind completion.

A well-pruned set-theoretic tree that is an Aronszajn tree and a Suslin tree gives a forcing with the countable chain condition for forcing: stronger nodes extend weaker ones. The ${\omega }_1$ dense subsets of a forcing order of nodes at or above each level cannot all be met by a filter in an ordered set, since that would produce a cofinal branch. Thus ${\mathrm{MA}}_{{\aleph }_1}$ fails. When the continuum exceeds ${\aleph }_1$, full Martin axiom includes this instance.