Knaster forcing preserves Suslin trees

ID: knaster-forcing-preserves-suslin-trees

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.

New to topics? Read the docs here!