Countable forcing preserves Suslin trees
ID: countable-forcing-preserves-suslin-trees
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.
New to topics? Read the docs here!