composition of forcing notions
Suppose is a forcing notion in and is some -name such that is a forcing notion.
Then take a set of -names such that given a name of , (that is, no matter which generic subset of we force with, the names in correspond precisely to the elements of ). We can define
Then is itself a forcing notion, and it can be shown that forcing by is equivalent to forcing first by and then by .
|Title||composition of forcing notions|
|Date of creation||2013-03-22 12:54:20|
|Last modified on||2013-03-22 12:54:20|
|Last modified by||Henry (455)|