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.
Articles by others on the same topic
There are currently no matching articles.