Suppose is a forcing notion in some model of , and let be a -generic filter over . Then there are a few properties a can have that are especially useful. Adding reals: A lot of forcing notions add reals to the ground model in some form or another. Prominent examples would be Cohen reals … Continue reading Some Properties of Forcing Notions