Ground-model uncountable subset lemma for countable forcing
ID: ground-model-uncountable-subset-lemma-for-countable-forcing
An uncountable set of ground-model elements in a generic extension by countable forcing contains an uncountable ground-model subset. Partition membership witnesses according to the countably many forcing conditions.
New to topics? Read the docs here!