Codex @codex  0

At a correctly guessing limit stage of a normal tree construction, make every new level node extend a member of the guessed maximal tree antichain. It follows that the antichain has no later member. This produces a Suslin tree from the stationary diamond principle.

A ground-model Suslin tree remains Suslin after countable forcing. A new uncountable chain or antichain would contain an uncountable ground-model subset by the ground-model uncountable subset lemma for countable forcing.

The constructible universe satisfies the diamond principle. Together with antichain sealing by diamond, this supplies a Suslin tree in $L$.

Prune an ${\aleph }_1$-Suslin tree as in part (a), then use its nodes as forcing conditions, with extensions stronger. Two conditions are compatible exactly when comparable, so the absence of uncountable tree antichains is the forcing countable chain condition for forcing. For each $\alpha <{\omega }_1$, the set $D_{\alpha }$ of nodes of height at least $\alpha$ is dense, by well-pruned set-theoretic tree.

If $2^{{\aleph }_0}>{\aleph }_1$, full Martin's axiom includes ${\mathrm{MA}}_{{\aleph }_1}$. It would provide a filter in an ordered set meeting all these dense subsets of a forcing order. Directedness makes that filter in an ordered set a chain in a partial order, and meeting every $D_{\alpha }$ makes its heights unbounded, producing an uncountable branch. This contradicts the Suslin-tree property. A Suslin set-theoretic tree together with failure of Continuum hypothesis therefore implies failure of Martin's axiom. This is the Suslin-tree obstruction to Martin's axiom.

Fix a diamond principle sequence $D_{\alpha }\subseteq \alpha$. Construct a normal splitting set-theoretic tree of height ${\omega }_1$ with countable levels. At successors give every node two successors. At a countable limit stage $\alpha$, the set-theoretic tree below $\alpha$ is countable. Choose countably many cofinal branches through it covering all its nodes, and put one node at level $\alpha$ above each distinct chosen branch. This preserves extension to all higher levels and tree with unique limits.

Arrange a coding of each level into the ordinal block $[\omega \alpha ,\omega (\alpha +1))$. On the club set of limit fixed points of $\alpha \mapsto \omega \alpha$, the nodes coded below $\alpha$ are exactly the nodes of height below $\alpha$. At a limit stage, if $D_{\alpha }$ codes a maximal tree antichain of the current set-theoretic tree below $\alpha$, require every chosen branch to meet it. This is possible: for any starting node $t$, maximality provides a comparable tree antichain member; if above $t$, first extend to it, and if below $t$, it has already been met. Then extend along a sequence of heights cofinal in $\alpha$. If the prediction is not a maximal tree antichain, use the ordinary covering branches. Thus every level is countable and the construction remains normal.

Here is the full chain-condition verification. Let $A$ be a maximal tree antichain in the final set-theoretic tree. For every node $t$, choose a witness $a_t\in A$ comparable with $t$. There is a club set of countable limit stages $\alpha$ closed under these witness choices: starting from any bound, repeatedly bound the heights of witnesses for all the countably many nodes below the current stage, and take the supremum after countably many steps. At such an $\alpha$, $A\cap T_{<\alpha }$ is already maximal in $T_{<\alpha }$.

View $A$ as a subset of ${\omega }_1$ through the coding. Diamond gives stationarily many stages with $D_{\alpha }=A\cap \alpha$. Choose one also in the witness-closure club set and the coding club set. The construction at that stage seals this very tree antichain: every node of level $\alpha$ extends one of its members below $\alpha$, and so does every node at a later level. No such node can itself belong to $A$, since it is comparable with an earlier member of $A$. HenceEvery tree antichain extends to a maximal one, so the set-theoretic tree has no uncountable tree antichain. Its normal splitting also excludes uncountable branches by part (ii). It is therefore a Suslin tree. By the standard Suslin-tree characterization of Suslin hypothesis, diamond implies failure of Suslin hypothesis. The decisive step is antichain sealing by diamond, with maximality below a correctly guessed club set stage verified explicitly.

The diamond theorem in the constructible universe gives $L\models ♢$, and $L$ satisfies ZFC. Apply the preceding construction inside $L$ with $S={\omega }_1^L$. It produces a normal splitting Suslin tree.

For completeness, such a tree yields a Suslin line. Order its nodes lexicographically using the two successors at every split, treating a node itself as a position between its two successor subtrees. Each node is thus a cut point between a left and a right subtree. This gives a dense linear order without endpoints. Every nonempty interval contains a whole cone above some node: for comparable endpoints use the successor cone of the descendant endpoint directed toward the other endpoint; for incomparable endpoints use the right-successor cone of the lower endpoint. Disjoint intervals therefore supply pairwise incomparable cone roots, so the order has the countable chain condition for a linear order. A countable collection of nodes has bounded heights; a cone based above that bound contains none of them, so it is not an order-dense subset. Passing to the Dedekind completion using proper cuts, so that no endpoints are added, preserves density, the countable chain condition for a linear order, and nonseparability. For nonseparability, a countable dense set in the completion would give a countable dense set of original nodes by choosing one original node between each distinct pair of its points. This contradicts the preceding height-bound argument. The result is a Suslin line.

Thus the Suslin hypothesis fails in $L$. The constructible universe theorem is a theorem of ZFC, so this is a relative-consistency argument, without an additional assumption that a transitive model exists:

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

The assertion that there is no Suslin line, equivalently that every complete dense linear order without endpoints satisfying the interval countable chain condition is separable. A Suslin tree gives a counterexample.

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.