If is a normal splitting Suslin tree and is Knaster, then is CCC, so forces that the ground tree is still CCC Countable levels and splitting persist. A new cofinal branch would give an uncountable antichain by splitting, so none is added. This permits adding many Cohen reals while retaining a Suslin tree, and distinguishes Knaster preservation from an unjustified preservation claim for every CCC forcing.
Articles by others on the same topic
There are currently no matching articles.