Antichain sealing by diamond
= Antichain sealing by diamond
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>.