Properties of Forcing Extensions
摘要
In this chapter we shall introduce some combinatorial properties of forcing notions which will accompany us throughout the remainder of the book. Furthermore, these properties will be the main tool used to investigate various combinatorial properties of generic models of ZFC.