Notation
- P is a poset with order <.
- V is the universe of all sets
- M is a countable transitive model of set theory
- G is a generic subset of P over M.
Read more about this topic: List Of Forcing Notions
Notation
Read more about this topic: List Of Forcing Notions