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.
Articles by others on the same topic
There are currently no matching articles.