Power-set failure in an increasing union of generic extensions

ID: power-set-failure-in-an-increasing-union-of-generic-extensions

Let for a fixed atomless forcing order , and . If a set were its internal power set of , choose with . The next generic filter belongs to , so ; transitivity of implies , contradicting generic filter for an atomless order is new. The chain is increasing but need not be an elementary chain.

New to topics? Read the docs here!